Fluorescence Tomography and the Generalized Attenuated Radon - - PowerPoint PPT Presentation

fluorescence tomography and the generalized attenuated
SMART_READER_LITE
LIVE PREVIEW

Fluorescence Tomography and the Generalized Attenuated Radon - - PowerPoint PPT Presentation

Fluorescence Tomography and the Generalized Attenuated Radon Transform Under Capricorn Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil IPUC, Florian opolis, September 2011 Alvaro R. De Pierro, University


slide-1
SLIDE 1

Fluorescence Tomography and the Generalized Attenuated Radon Transform Under Capricorn

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil IPUC, Florian´

  • polis, September 2011

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-2
SLIDE 2

Work by

◮ Eduardo Xavier Miqueles, IMECC-UNICAMP ∗

0∗ Supported by FAPESP grant No 09/15844-4, Brazil 0∗ Supported by CNPq grant No 476825/2006-0, Brazil Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-3
SLIDE 3

Work by

◮ Eduardo Xavier Miqueles, IMECC-UNICAMP ∗ ◮ ARDP ∗∗

0∗ Supported by FAPESP grant No 09/15844-4, Brazil 0∗ Supported by CNPq grant No 476825/2006-0, Brazil Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-4
SLIDE 4

Work by

◮ Eduardo Xavier Miqueles, IMECC-UNICAMP ∗ ◮ ARDP ∗∗

Thanks to the Nuclear Instrumentation Laboratory (Federal University of Rio de Janeiro), Brazil, and the Brazilian Synchrotron Light Laboratory (LNLS), that provided the real data. Articles: Physics in Medicine & Biology, 55 (2010), IEEE Transactions on Medical Imaging, 30, 2, (2011), Studies in Applied Mathematics, to appear , Computer Physics Communications, to appear, http://www.ime.unicamp.br/∼milab (software and papers).

0∗ Supported by FAPESP grant No 09/15844-4, Brazil 0∗ Supported by CNPq grant No 476825/2006-0, Brazil Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-5
SLIDE 5

PART I

The Problem and the Model

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-6
SLIDE 6

The Problem and the Data

◮ We want to reconstruct the concentration

distribution of a heavy metal (Copper, Zinc, Iron,..), or other element like Iodine, inside a body.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-7
SLIDE 7

The Problem and the Data

◮ We want to reconstruct the concentration

distribution of a heavy metal (Copper, Zinc, Iron,..), or other element like Iodine, inside a body.

◮ This concentration distribution could indicate

malignancy in a tissue, for example. Another application is determination of 3D rock structure in mineralogy.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-8
SLIDE 8

The Problem and the Data

◮ We want to reconstruct the concentration

distribution of a heavy metal (Copper, Zinc, Iron,..), or other element like Iodine, inside a body.

◮ This concentration distribution could indicate

malignancy in a tissue, for example. Another application is determination of 3D rock structure in mineralogy.

◮ Irradiation by high intensity monochromatic

synchrotron X rays at a specific energy of the element stimulates fluorescence emission (data).

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-9
SLIDE 9

The Synchrotron

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-10
SLIDE 10

The Synchrotron: Data Acquisition

Inside a synchrotron gate

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-11
SLIDE 11

X-Rays Fluorescence Computed Tomography (XFCT)

Aims at reconstructing fluorescence emitted by the body when bombarded by high intensity X-rays at a given energy.

θ

ξ ξ t

x

FLUORESCENCE DETECTOR OBJECT SOURCE TRANSMISSION DETECTOR

τ γ γ

1 2

Figure: XFCT geometry

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-12
SLIDE 12

The Generalized Attenuated Radon Transform

And the model is

d(t, θ) = RWf (t, θ) =

  • x·ξ=t f (x)W (x, θ)dx

where f (x) is the emission (fluorescence) density at x, µ is the fluorescence attenuation, λ is the attenuation of the X-rays,

W (x, θ) = ωλ(x, θ)ωµ(x, θ), ωµ(x, θ) =

  • Γ e−Dµ(x,θ+γ)dγ , and

ωλ(x, θ) = e−Dλ(x,θ+π), Dh(x, θ) =

  • R h(x + qξ⊥)dq

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-13
SLIDE 13

Before

What do we know?: CT and SPECT

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-14
SLIDE 14

X-Rays Computed Tomography (CT)

CT data collection

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-15
SLIDE 15

SPECT Scanner

SPECT Scanner

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-16
SLIDE 16

Detection

SPECT detection

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-17
SLIDE 17

SPECT

SPECT= Single Photon Emission Computed Tomography, aims at reconstructing a tagged process inside the body, for example, blood flow tagged with T 99.

x

θ

ξ ξ t

OBJECT SOURCE

τ

DETECTOR

SPECT geometry

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-18
SLIDE 18

Mathematically

If no attenuation is considered, the Radon Transform is the model for both problems (CT and SPECT)

d(t, θ) = Rf (t, θ) =

  • x·ξ=t f (x)dx

where (t, θ) ∈ [−1, 1] × (0, 2π), ξ = ξ(θ) is a direction vector defined by an angle θ, ξ = (cos θ, sin θ) and ξ⊥ is such that ξ · ξ⊥=0

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-19
SLIDE 19

The Projection Theorem and the Inversion of the Radon Transform

R−1 = F−1

2

F1

where F2 and F1 stand for the two and one dimensional Fourier Transforms.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-20
SLIDE 20

The Attenuated Radon Transform

But photons could be absorbed !!!!!!!!!!!!!!!!!!!!

d(t, θ) = Rωf (t, θ) =

  • x·ξ=t f (x)ωµ(x, θ)dx

where µ is the attenuation, and

ωµ(x, θ) = e−Dµ(x,θ)

where, as before, Dh(x, θ) =

  • R h(x + qξ⊥)dq

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-21
SLIDE 21

The Inversion of Rω

No Projection Theorem !!!!!!!!!!!

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-22
SLIDE 22

The Inversion of Rω Alternatives:

◮ Discretize and solve an optimization model. Too

computationally intensive (hours for a single reconstruction if we regularize). Not our option.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-23
SLIDE 23

The Inversion of Rω Alternatives:

◮ Discretize and solve an optimization model. Too

computationally intensive (hours for a single reconstruction if we regularize). Not our option.

◮ Approximate by a scaled Radon Inverse and

Iterate.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-24
SLIDE 24

The Inversion of Rω Alternatives:

◮ Discretize and solve an optimization model. Too

computationally intensive (hours for a single reconstruction if we regularize). Not our option.

◮ Approximate by a scaled Radon Inverse and

Iterate.

◮ Try to find an analytic inverse, but how?, what

direction?

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-25
SLIDE 25

Part II

Iterative Inversion

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-26
SLIDE 26

First Option: Iterated Inversion

We have a reasonable (fast, accurate if there is not too much noise) inverse for R, so, let us try a fixed point iteration !!!!

f (k+1) = f (k) + e(k) = (I − 1

aR−1RW)f (k) + R−1 a d ,

e(k) =

R−1(d−RW f (k)) a

And what is a?

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-27
SLIDE 27

Iterated Inversion

Clearly, convergence depends on how close 1

aR−1RW is to the

identity, equivalently, how well R−1 approximates R−1

W and this

depends on the attenuation. If it is too large, it will not work. To compensate for that, Chang (IEEE TNS 78) suggested for SPECT a reasonable value for a is the average attenuation given by

a(x) = 1

0 W (x, θ)dθ.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-28
SLIDE 28

A Contraction Constant

The Contraction constant for Kf = 1 a

  • R−1(R − RW )f − (1 − a)f
  • = f − 1

aR−1RW f (1) is given by c(κa) = sup

u∈R2

sup

θ∈[0,2π]

  • 1 −

1 2a∞ [W (u, θ) + W (u, θ + π)]

  • (2)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-29
SLIDE 29

And

Sequences c(κ) and c(κa) for different (increasing) values of attenuation µ, meaning that, we have a reasonable computable value measuring convergence rate and ill-conditioning.

2 4 6 8 10 0.6 0.7 0.8 0.9 1

j (a)

c(κ) c(κa) 2 4 6 8 10 0.2 0.4 0.6 0.8 1

j (b)

c(κ) c(κa) Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-30
SLIDE 30

Classical Methods in a Continuous Setting: EM

The Expectation Maximization (EM) can also be applied to the linear part of our problem, assuming a known attenuation function. For the EM we have the following iteration (continuous version):

f (k+1)(x) = f (k)(x)BWd(k)(x) BWe(x) ,

where d(k)(t, θ) = d(t, θ)/RW f (k)(t, θ), BW d(x) = 2π W (x, θ)d(x · ξ, θ)dθ is the attenuated backprojection, and e = 1 in V.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-31
SLIDE 31

Unknown Attenuation: Iteration Once Again

New Problem: Given d ∈ V, find {f , µ} ∈ U such that Y(f , µ) = RW (µ)f − d = 0 ∈ V. (3) Iterate: f (k+1) = L

  • d, f (k), µ(k)

, µ(k+1) = N

  • d, f (k+1), µ(k)

. L stands for an approximate inversion of RW given µ(k) and N for the application of (say) Newton‘s method to equation (1) for f (k+1) given.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-32
SLIDE 32

Some Experiments: Simulated Data

Figure below shows a 32x32 representation of functions {f , µ, λ} and the simulated attenuated Radon transform with 80 projections views and 60 rays per view.

0.2 0.4 0.6 0.8 1.0 1.2 x10-4 0.05 0.10 0.15 0.02 0.04 0.06 0.08 0.5 1.0 1.5 x10-4

Simulated data for XFCT. From left to right: density function f , fluorescence attenuation µ, transmission attenuation λ and attenuated Radon transform.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-33
SLIDE 33

Some Experiments: Real Data

A microscopic sample with a distribution of Copper and Zinc inside. For the Copper sample, each projection view had 23 rays, while 20 rays for the Zinc sample. The total number of views was 60 for both samples. Figure below shows the functions {Rµ, RW f }.

0.05 0.10 0.15 0.20 0.25 0.30 0.35 0.5 1.0 1.5 2.0 2.5 3.0 x10-4 0.1 0.2 0.3 0.4 0.5 1.0 1.5 2.0 2.5 3.0 3.5 x10-5

Real data. From left to right: transmission data for Cu sample, XFCT data for Cu sample, transmission data for Zn sample and XFCT data for Zn sample.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-34
SLIDE 34

Some Experiments: Simulated Data

AKT × EM with µ = λ and for iterations {1, 2, 3, 4, 20} (left to right). For each block, the EM reconstruction is shown in the first row and the AKT reconstruction in the second. Simulated case (32x32)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-35
SLIDE 35

Some Experiments: Real Data

AKT × EM with µ = λ and for iterations {1, 2, 3, 4, 20} (left to right). For each block, the EM reconstruction is shown in the first row and the AKT reconstruction in the second. Cu sample (60x60)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-36
SLIDE 36

Some Experiments: Real Data

AKT × EM with µ = λ and for iterations {1, 2, 3, 4, 20} (left to right). For each block, the EM reconstruction is shown in the first row and the AKT reconstruction in the second. Zn sample (60x60).

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-37
SLIDE 37

Some Experiments: Simulated and Real Data

0.05 0.10 0.2 0.4 0.2 0.4

Iterates {µ(0), µ(1)}, for AV, using AKT for f (1). Initial guess µ(0) was obtained using FBP of transmission data.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-38
SLIDE 38

Analytic Approach

An Analytic Inverse

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-39
SLIDE 39

Another Coincidence: Notices of the AMS, november 2005

About the Cover A new Radon transform algorithm This month’s cover was suggested by the article of Fokas and Sung in this issue. In an article mentioned there, Fokas, Iserle and Marinakis describe a new algorithm for computing inverse Radon transforms, which I used to approximate the inverse transform of a simulated X-ray of the well-known head model— traditionally called phantom—of Logan and Shepp. For the non- expert, what is striking about such calculations is the odd mix- ture of science and rough guess that goes into them, made necessary by the awkward fit between the Radon transform and discrete approximation. Also the somewhat scary feeling in- volved in dealing even with phantom tumors. —Bill Casselman, Graphics Editor (notices-covers@ams.org)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-40
SLIDE 40

An Analytic Inverse

Following Fokas, the spectral analysis of the differential equation: η · ∇u(x) + a(x, η)u(x) = f (x) η = η(κ) ∈ C2, κ ∈ C. allows us to to write the solution in terms of the GART. a = 0 leads to the Radon Transform, a(x) = µ(x) to the Attenuated Radon Transform and a(x, η) will be determined for the XFCT. In

  • ur case

η(κ) = 1 2i 1 κ + κ

  • , 1

2 1 κ − κ

  • .

(4) η = o(κ) and each component of η is analytic in κ with a pole in zero.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-41
SLIDE 41

An Analytic Inverse

Changing variables x → (z, ¯ z), with z ∈ C, defined by z = v · x and v = v(κ) ∈ C2. z ¯ z

  • = Gx,

G = vT ¯ vT

  • ,

J = −1 1

  • (5)

The previous equation can be rewriten as (η · v)∂zu + (η · ¯ v)∂¯

zu + a(x)u(x) = f (x).

(6)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-42
SLIDE 42

An Analytic Inverse

We choose vector {η, v} ∈ C 2 such that η · v = 0 and η · ¯ v = j(λ) = det G = −v · J¯

  • v. Put v = −Jη and denote

η(κ) = (c(κ), b(κ))T, then j(κ) = c(κ)b(κ) − b(κ)c(κ) = 2iJ(κ), J(κ) = Imag

  • c(κ)b(κ)
  • .

(7) Choosing η and v so that η · v = 0 and η · ¯ v = j(κ) we get j(κ)∂¯

zu + a(x, η)u(x) = f (x).

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-43
SLIDE 43

An Analytic Inverse

Multiplying by an Euler factor eq(x) we decouple the equation

  • btaining two d-bar equations

∂¯

z

  • u(x)eq(x)

= f (x) j(κ) eq(x), ∂¯

zq(x) = a(x)

j(κ) Define the singularity set S = {κ ∈ C: j(κ) = 0}

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-44
SLIDE 44

An Analytic Inverse

And we can use for each equation the following (Fokas-Iserles, J.R.Soc.Interface, 3, 45-54, 2006.),

Lemma

For all κ ∈ S, the solution of the ∂¯

u(x) = g(x)/j(κ) is given by ˆ u(x; κ) . = ∂−1

¯ z

g(x) j(κ)

  • = α(κ)

2πi

  • R2

g(y)dy v(κ) · (y − x). α(κ) = sign J(η). for g(x) = f (x)

j(κ) eq(x) or g(x) = a(x) j(κ) .

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-45
SLIDE 45

A Riemann-Hilbert problem

What is a scalar inhomogeneous Riemann-Hilbert (RH) problem? Given a closed contour S and H¨

  • lder continuous functions f and g
  • n S, find a sectionally analytic function Φ with finite degree at

infinity (Φ(z) ∼ cmzm + O(zm−1) as z → ∞, cm = 0, z / ∈ S) such that Φ+(t) = g(t)Φ−(t) + f (t) In our case g(t) = 1.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-46
SLIDE 46

An Analytic Inverse: a Riemann-Hilbert problem

S determines a curve, dividing the complex plane into two regions R+ and R−, where d-bar equations determine u± for κ ∈ R±. The solution for all κ is determined by the jump J (x) = u+(x) − u−(x)

  • n the curve S. Since u is an analytic function of κ ∈ S, there exist

z0 ∈ C and δ > 0 such that S is homotopic to a circle centered at z0 and radius δ. Assuming without loss of generality that δ = 1, the solution of our Riemann-Hilbert problem is given by (Ablowitz) u(x; κ) = 1 2πi

  • |z−z0|=1

J (x) z − κdz = 1 2π 2π J (x)eiθ −1 κ + O 1 κ2

= 1 κh(x) + O 1 κ2

  • ,

h(x) = −1 2π 2π J (x)eiθdθ

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-47
SLIDE 47

An Analytic Inverse

Therefore, from the original equation, and with the boundary condition u(x) = O(κ−1) as κ → ∞, we have f (x) = 1 κη(κ) · ∇h(x) + a(x)O 1 κ

  • + O

1 κ2

  • ,

κ → ∞ It only remains to compute the jump function J = J (x) in order to evaluate h in the above equation. And after many, many, ......., many, too many, ........ calculations .......... http://onlinelibrary.wiley.com/doi/10.1111/j.1467- 9590.2011.00527.x/abstract

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-48
SLIDE 48

An Analytic Inverse

f (x) = 1 2π 2π iO(η, ξθ)

  • eDa(x,θ)m{Ra, RW f }(x · ξθ, θ)

(8) . = IηRW f (x) (9) giving rise to the inverse operator Iη. Where m{r, d} = e− r

2

  • hc(r)H
  • hc(r)e

r 2 d

  • + hs(r)H
  • hs(r)e

r 2 d

  • (10)

where hc(r) = cos( 1

2H r) and hs(r) = sin( 1 2H r), and

O(η, ξθ) = [D(η)ξθ] · ∇ − i[D(η)ξ⊥

θ ] · ∇

(11) and matrix D(η) = diag (η1(κ)/κ, iη2(κ)/κ).

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-49
SLIDE 49

An Analytic Inverse

Better

f (x) = 1 4π 2π ∂t

  • eDa(x,θ)m{Ra, RWf }
  • (x·ξθ, θ)dθ

(12)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-50
SLIDE 50

Extending to XFCT. Single angle

First step is considering the case of a fixed angle and inverting the corresponding operator Rγ for a fixed γ ∈ Γ. The inspiration is the nonrealistic case where γ = π, the exponentials are “parallel“ and the solution of the problem is trivial, just considering a(x, θ) = λ(x, θ + π) + µ(x, θ + π) and Fokas approach applies in a straightforward manner. This suggests the necessity of considering a rotation of angle γ for the next step towards a generalization.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-51
SLIDE 51

Extending to XFCT. Single angle. Rotation

For every given point x, the line ℓ(x, v) = {x + sv : s ≥ 0} can be mapped to the line ℓ(x, −v) through the rotation operator φx(y) = 2x − y (13) and also can be mapped to the line ℓ(x, Gγv) (for a fixed angle γ, being G T

γ = (ξγ, ξ⊥ γ ) a 2x2 rotation matrix) through the following

rotation ψγ,x(y) = Gγ(y − x) + x. (14)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-52
SLIDE 52

Extending to XFCT. Single angle. Rotation

Rotations φx and ψγ,x The attenuation that we have to consider will be derived from aγ,x(y) = λ(φx(y)) + bγ,x(y) (15) with bγ,x a function defined by bγ,x(y) = µ(ψγ,x(y)). (16) And after several lemmas and lots of calculations, we get the inverse R−1

γ

for a fixed angle γ.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-53
SLIDE 53

Series Inversion from the fixed angle approximation

Theorem

If the fluorescence attenuation map µ satisfies the inequality max

(x,θ) |1 − α(x, θ, β∗)| < 1, with α defined before, the inverse

  • perator R−1

xfct is given by the Neumann series

R−1

xfct = 1

m

  • k=0
  • I − 1

mR−1

β∗ Rxfct

k R−1

β∗

(17) with I the identity operator, β∗ = 1

2(γ1 + γ2), m = γ2 − γ1 and

R−1

β∗ from before.

In practical experiments, the angle section Γ, is symmetrically chosen to verify Γ ⊆ [0, π]. So, the optimal angle β∗ is π

2 and the condition above

is always satisfied since there is a minimum in the amount of scattered photons at π

2 and therefore the total fluorescence attenuation (the

divergent beam transform of µ) is stationary at this angle.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-54
SLIDE 54

Series Inversion from the fixed angle approximation

Now, using the same change of variables as before, we define the function a, for fixed but arbitrary values of x, by a(x, η) = λ(φx(x)) + bη,x(x), (18) where x = φx(x) and b = bη,x(x) such that Dbη,x(x, η) = − ln 1 m

  • Γ(x)

e−Dµ(x,Gγη)dγ, (19) Since Dµ is a positive function and

  • Γ dγ e−Dµ < m, the above

logarithm is well defined, i.e., Db > 0.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-55
SLIDE 55

An Analytic Inverse

If (t, ρ) is the change of variables in x = tξ + ρξ⊥, m = γ2 − γ1 ωxfct(x, θ) = e−Dλ(x,θ+π)

  • Γ

e−Dµ(x,ξθ+γ)dγ. and p(t, θ) = Rλ(t, θ) + Rb(t, θ) and Rb defined by. Rb(x·ξθ, θ) = − ln 1 m2

  • Γ

e−Dµ(x,θ+γ+π)dγ

Γ

e−Dµ(x,θ+γ)dγ

  • .

and m{r, d} = e− r

2

  • hc(r)H
  • hc(r)e

r 2 d

  • + hs(r)H
  • hs(r)e

r 2 d

  • (20)

with hc(r) = cos( 1

2H r) and hs(r) = sin( 1 2H r).

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-56
SLIDE 56

An Analytic Inverse: Finally

f (x) = 1 4π 2π ∂t

  • mω−1

xfct(x, θ)m

  • p, 1

mRxfctf

  • (x · ξ, θ)

(21) = 1 4π 2π ∂t

  • ω−1

xfct(x, θ)m{p, Rxfctf }(x · ξ, θ)

(22) = R−1

xfctRxfctf (x)

(23)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-57
SLIDE 57

Some Experiments: Simulated Data

Simulated data: {f1, λ1, µ1, Rxfctf1}, (256 × 256), sinograms

  • btained with M = 360 views and N = 400 rays per view.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-58
SLIDE 58

Some Experiments: Simulated Data

Simulated data: {f2, λ2, µ2, Rxfctf2}, (80 × 80), sinograms

  • btained with M = 360 views and N = 400 rays per view.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-59
SLIDE 59

Some Experiments: Simulated Data

xfct inversion. From left to right: true density map, R−1

xfctd and

(mRβ∗)−1d for f1

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-60
SLIDE 60

Some Experiments: Simulated Data

xfct inversion. From left to right: true density map, R−1

xfctd and

(mRβ∗)−1d for f1

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-61
SLIDE 61

Some Experiments: Real Data

Sequence of partial sums of the approximating series for real data using µ = λ.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-62
SLIDE 62

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-63
SLIDE 63

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

◮ What is valid for SPECT?

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-64
SLIDE 64

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

◮ What is valid for SPECT? ◮ A reasonable implementation of the analytic formulas. Better

filtering?

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-65
SLIDE 65

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

◮ What is valid for SPECT? ◮ A reasonable implementation of the analytic formulas. Better

filtering?

◮ 3D?.

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-66
SLIDE 66

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

◮ What is valid for SPECT? ◮ A reasonable implementation of the analytic formulas. Better

filtering?

◮ 3D?. ◮ Diffractive data (main direction now)

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-67
SLIDE 67

What is left: Too Many Things

◮ An extended comparison of all the methods for different types

  • f data (there are many combinations)

◮ What is valid for SPECT? ◮ A reasonable implementation of the analytic formulas. Better

filtering?

◮ 3D?. ◮ Diffractive data (main direction now) ◮ Etc......

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-68
SLIDE 68

Thanks

Thanks

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-69
SLIDE 69

The Team

Figure:

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-70
SLIDE 70

Questions?

Sundown, Uraricoera River, North of the Amazon

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-71
SLIDE 71

Publicity Section

The Huge Conference

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon

slide-72
SLIDE 72

Publicity Section

The Workshop

Alvaro R. De Pierro, University of Campinas, Applied Mathematics Department, Brazil Fluorescence Tomography and the Generalized Attenuated Radon