An analytic, moment-based method to estimate orthopositronium lifetimes in positron annihilation lifetime spectroscopy measurements

Lucas Berens Author to whom correspondence should be addressed. Electronic mail: lberens@uchicago.edu Department of Radiology, The University of Chicago, Chicago, IL, USA Department of Radiation and Cellular Oncology, The University of Chicago, Chicago, IL, USA    Isaac Hsu Department of Computer Science, University of Minnesota, Minneapolis, MN, USA    Chin-Tu Chen Department of Radiology, The University of Chicago, Chicago, IL, USA    Howard Halpern Department of Radiation and Cellular Oncology, The University of Chicago, Chicago, IL, USA    Chien-Min Kao Department of Radiology, The University of Chicago, Chicago, IL, USA
Abstract

The presence of tumor hypoxia is known to correlate with poor patient prognosis. Measurement of tissue oxygen concentration can be challenging, but recent advancements using positron annihilation lifetime spectroscopy (PALS) in three-dimensional positron emission tomography (PET) scans have shown promise for hypoxia detection. In this work, a novel method for estimating the orthopositronium lifetime in PALS is presented. This method is analytical and uses moments of the time-difference histogram from photon arrival times. For sufficient statistical power, the method produces monotonic, stable estimates. For cases with a lower number of photon counts, the method was characterized and solutions are presented to correct for bias and estimation variability.

I Introduction

Positronium lifetime imaging (PLI) is a novel augmentation for positron emission tomography (PET) that may allow PET scans to extract tissue oxygenation information, including hypoxic locations, in addition to the specific biochemical properties the employed PET tracer is responsive to. Recently, Moskal et al. has identified the positronium lifetime as a possible metric for hypoxia [1]. The same group has also designed and built a novel PET scanner for generating positronium lifetime images [2]. Other recent work includes that of Shibuya et al. in which the correlation of oxygen concentration with positronium lifetimes was rigorously established [3].

PLI makes use of measurements of the lifetime of positronium (Ps), which are short-lived bound states between a positron emitted from nuclear decay and an electron from the environment. In clinical PET circumstances, approximately 40% of the released positrons lead to this electron-positron bound state [3]. The other 60% annihilate with electrons without forming positronium. These produce direct annihilations (DA), and predominantly produce two coincident 511 keVtimes511keV511\text{\,}\mathrm{k}\mathrm{e}\mathrm{V}start_ARG 511 end_ARG start_ARG times end_ARG start_ARG roman_keV end_ARG photons with a lifetime of about 388 pstimes388ps388\text{\,}\mathrm{p}\mathrm{s}start_ARG 388 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG [2].

There are two types of positronium, orthopositronium (o-Ps) where the electron and positron spins are parallel, and parapositronium (p-Ps) where the spins are anti-parallel. Both are formed within 5 pstimes5ps5\text{\,}\mathrm{p}\mathrm{s}start_ARG 5 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG of the release of the positron after it has thermalized with the environment. In tissue, approximately 75% of positronium is o-Ps and 25% is p-Ps. Both o-Ps and p-Ps are inherently unstable and eventually their constituent electron and positron annihilate with each other without interacting with their environment. In such self annihilations, p-Ps produces two 511 keVtimes511keV511\text{\,}\mathrm{k}\mathrm{e}\mathrm{V}start_ARG 511 end_ARG start_ARG times end_ARG start_ARG roman_keV end_ARG photons and has a short lifetime of approximately 125 pstimes125ps125\text{\,}\mathrm{p}\mathrm{s}start_ARG 125 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG. On the other hand, o-Ps produces three coincidence photons111In theory, p-Ps self-annihilation is permitted to produce n=2,4,6,⋯𝑛246β‹―n=2,4,6,\cdotsitalic_n = 2 , 4 , 6 , β‹― coincidence photons but n=2𝑛2n=2italic_n = 2 predominates. Likewise, o-Ps self-annihilation is permitted to produce n=3,5,7,⋯𝑛357β‹―n=3,5,7,\cdotsitalic_n = 3 , 5 , 7 , β‹― coincidence photons but n=3𝑛3n=3italic_n = 3 predominates. In direct annihilations, nβ‰₯2𝑛2n\geq 2italic_n β‰₯ 2 photons can be created since any number of photons greater than n=2𝑛2n=2italic_n = 2 can allow for momentum conservation. and has a long lifetime of approximately 142 nstimes142ns142\text{\,}\mathrm{n}\mathrm{s}start_ARG 142 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG [4].

As a result, o-Ps has the opportunity to interact with electrons that are present in its surroundings and to decay before self-annihilation, thereby shortening the lifetime to 1-15 nstimes15ns15\text{\,}\mathrm{n}\mathrm{s}start_ARG 15 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG [4]. These interactions include a spin-exchange with an unpaired electron that converts o-Ps to p-Ps where it quickly decays to produce two 511 keVtimes511keV511\text{\,}\mathrm{k}\mathrm{e}\mathrm{V}start_ARG 511 end_ARG start_ARG times end_ARG start_ARG roman_keV end_ARG photons, and a pick-off event where the positron annihilates with a local electron (also most likely to produce two 511 keVtimes511keV511\text{\,}\mathrm{k}\mathrm{e}\mathrm{V}start_ARG 511 end_ARG start_ARG times end_ARG start_ARG roman_keV end_ARG photons). The most dominant of these interactions is the spin-exchange. In tissue, the o-Ps lifetime is between 1-3 nstimes3ns3\text{\,}\mathrm{n}\mathrm{s}start_ARG 3 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and importantly its value depends on local properties that affect the strength of the spin-exchange interaction [3]. For example, molecular oxygen is paramagnetic and can readily cause o-Ps decay, since o-Ps readily decays by interacting with unpaired electrons.

If we therefore choose an isotope that possesses a nontrivial decay mode in which a prompt gamma and a positron are released at essentially the same time, we may measure the arrival time difference between the prompt gamma and coincident 511 keVtimes511keV511\text{\,}\mathrm{k}\mathrm{e}\mathrm{V}start_ARG 511 end_ARG start_ARG times end_ARG start_ARG roman_keV end_ARG photons. A metric for local tissue oxygenation may then be derived. Specifically, the histogram S⁒(Δ⁒t)𝑆Δ𝑑S(\Delta t)italic_S ( roman_Ξ” italic_t ) of these differences in arrival times Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t can be modeled as the sum of multiple convolutions of exponential distributions and Gaussian distributions [2]. We consider here lifetime components from o-Ps, p-Ps, and DA as they have sufficiently distinct lifetimes and intensities to be modeled separately. Each is represented by one exponential distribution that models the probability distribution for the decay, convolved with a Gaussian distribution that models the statistical uncertainty in time measurement. Therefore, the full model for S⁒(Δ⁒t)𝑆Δ𝑑S(\Delta t)italic_S ( roman_Ξ” italic_t ) can be written as

S⁒(Δ⁒t)=b+βˆ‘i=13Ii⁒EXP⁒(Δ⁒t;Ξ»i)βˆ—π’©β’(Δ⁒tβˆ’t0;Οƒi),𝑆Δ𝑑𝑏subscriptsuperscript3𝑖1βˆ—subscript𝐼𝑖EXPΔ𝑑subscriptπœ†π‘–π’©Ξ”π‘‘subscript𝑑0subscriptπœŽπ‘–S(\Delta t)=b+\sum^{3}_{i=1}I_{i}\ \textrm{EXP}({\Delta t};{\lambda_{i}})\ast% \mathcal{N}({\Delta t-t_{0}};{\sigma_{i}}),italic_S ( roman_Ξ” italic_t ) = italic_b + βˆ‘ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT EXP ( roman_Ξ” italic_t ; italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) βˆ— caligraphic_N ( roman_Ξ” italic_t - italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ; italic_Οƒ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , (1)

where βˆ—βˆ—\astβˆ— denotes convolution, Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, Ξ»i,subscriptπœ†π‘–\lambda_{i},italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , and ΟƒisubscriptπœŽπ‘–\sigma_{i}italic_Οƒ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the intensity, decay-rate constant, and standard deviation of the time-measurement uncertainty associated with component i𝑖iitalic_i for i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3, bβ‰₯0𝑏0b\geq 0italic_b β‰₯ 0 accounts for the presence of background events, EXP is defined as

EXP⁒(t;Ξ»)=λ⁒exp⁑{βˆ’Ξ»β’t}β‹…u⁒(t),EXPπ‘‘πœ†β‹…πœ†πœ†π‘‘π‘’π‘‘\textrm{EXP}({t};{\lambda})=\lambda\exp\{-\lambda t\}\cdot u(t),EXP ( italic_t ; italic_Ξ» ) = italic_Ξ» roman_exp { - italic_Ξ» italic_t } β‹… italic_u ( italic_t ) , (2)

in which u⁒(t)𝑒𝑑u(t)italic_u ( italic_t ) is the unit step function defined by u⁒(t)=1𝑒𝑑1u(t)=1italic_u ( italic_t ) = 1 for tβ‰₯0𝑑0t\geq 0italic_t β‰₯ 0 and u⁒(t)=0𝑒𝑑0u(t)=0italic_u ( italic_t ) = 0 for t<0𝑑0t<0italic_t < 0, and

𝒩⁒(t;Οƒ)=(2⁒π⁒σ)βˆ’1⁒exp⁑{βˆ’t2/2⁒σ2}.π’©π‘‘πœŽsuperscript2πœ‹πœŽ1superscript𝑑22superscript𝜎2\mathcal{N}({t};{\sigma})=\left(\sqrt{2\pi}\sigma\right)^{-1}\,\exp\{-t^{2}/2% \sigma^{2}\}.caligraphic_N ( italic_t ; italic_Οƒ ) = ( square-root start_ARG 2 italic_Ο€ end_ARG italic_Οƒ ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_exp { - italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_Οƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } . (3)

The lifetime Ο„isubscriptπœπ‘–\tau_{i}italic_Ο„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT of component i𝑖iitalic_i is related to Ξ»isubscriptπœ†π‘–\lambda_{i}italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT by Ο„i=1/Ξ»isubscriptπœπ‘–1subscriptπœ†π‘–\tau_{i}=1/\lambda_{i}italic_Ο„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 1 / italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. In Equation 1, t0subscript𝑑0t_{0}italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is introduced to allow for an offset in time measurement. We wish to estimate Ο„πœ\tauitalic_Ο„ associated with o-Ps from a measurement of S⁒(Δ⁒t)𝑆Δ𝑑S(\Delta t)italic_S ( roman_Ξ” italic_t ) for providing a metric for certain tissue property. Typically, it is reasonable to take Οƒi=Οƒ,βˆ€isubscriptπœŽπ‘–πœŽfor-all𝑖\sigma_{i}=\sigma,\,\forall iitalic_Οƒ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_Οƒ , βˆ€ italic_i and t0=0subscript𝑑00t_{0}=0italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0. Without loss of generality, we can take the components i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3 to be those from the p-Ps decay, DA, and o-Ps decay, respectively, and hence Ξ»1>Ξ»2>Ξ»3.subscriptπœ†1subscriptπœ†2subscriptπœ†3\lambda_{1}>\lambda_{2}>\lambda_{3}.italic_Ξ» start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_Ξ» start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT .

While PLI is emerging for the purpose of producing full three-dimensional images of the o-Ps lifetime, this work is concerned with only the single-dimensional case represented by Equation 1. For distinction, we therefore refer to this method as one for positron annihilation lifetime spectroscopy (PALS) measurements. In the discussion we will comment on using this method for imaging in general, and will consider it in-depth in a separate paper.

Presented here is a novel analytic method for estimating the o-Ps lifetime from S⁒(Δ⁒t)𝑆Δ𝑑S(\Delta t)italic_S ( roman_Ξ” italic_t ). Current methods for this task include fitting a single exponential distribution to the time-difference histogram [3], and fitting a reduced full model given by Equation 1 by assuming known values for certain parameters to the histogram [2]. Additionally, Shibuya et al. has proposed an inverse Laplace transform method to distinguish between positronium lifetimes while merging voxels for better statistics [5]. Their method is able to discern similar lifetime values, but still employs curve-fitting. In comparison with these curve-fitting methods, the new analytic method in this work is more computationally efficient, which is an important consideration for future application of the method for PLI in which lifetimes need to be obtained for a large number of voxels in a clinical setting. In addition, under mild and realistic conditions the analytic method is not sensitive to the unknown lifetimes for DA and p-Ps, nor to the time-measurement uncertainty ΟƒπœŽ\sigmaitalic_Οƒ. Generally, this is the not case with curve-fitting methods.

II Materials and Methods

II.1 Derivation of the method and justifications

The n𝑛nitalic_nth moment of a function f⁒(t)𝑓𝑑f(t)italic_f ( italic_t ) is defined by

ΞΌn⁒{f⁒(t)}=βˆ«βˆ’βˆžβˆžtn⁒f⁒(t)⁒𝑑tsubscriptπœ‡π‘›π‘“π‘‘superscriptsubscriptsuperscript𝑑𝑛𝑓𝑑differential-d𝑑\mu_{n}\{f(t)\}=\int_{-\infty}^{\infty}t^{n}f(t)dtitalic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_f ( italic_t ) } = ∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_f ( italic_t ) italic_d italic_t (4)

if the integral exists. The proposed analytic method is based on the following observations.

  1. 1.

    The n𝑛nitalic_nth moment of EXP(t;Ξ»)}\textrm{EXP}({t};{\lambda})\}EXP ( italic_t ; italic_Ξ» ) } exists for all Ξ»>0πœ†0\lambda>0italic_Ξ» > 0 and is given by

    ΞΌn⁒{EXP⁒(t;Ξ»)}=n!Ξ»n.subscriptπœ‡π‘›EXPπ‘‘πœ†π‘›superscriptπœ†π‘›\mu_{n}\{\textrm{EXP}({t};{\lambda})\}=\frac{n!}{\lambda^{n}}.italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { EXP ( italic_t ; italic_Ξ» ) } = divide start_ARG italic_n ! end_ARG start_ARG italic_Ξ» start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT end_ARG . (5)
  2. 2.

    Let g⁒(t;Ξ»,Οƒ)=EXP⁒(t;Ξ»)βˆ—π’©β’(t;Οƒ).π‘”π‘‘πœ†πœŽβˆ—EXPπ‘‘πœ†π’©π‘‘πœŽg(t;\lambda,\sigma)=\textrm{EXP}({t};{\lambda})\ast\mathcal{N}({t};{\sigma}).italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) = EXP ( italic_t ; italic_Ξ» ) βˆ— caligraphic_N ( italic_t ; italic_Οƒ ) . For sufficiently large Ξ»πœ†\lambdaitalic_Ξ» (with respect to ΟƒπœŽ\sigmaitalic_Οƒ) and n𝑛nitalic_n, it can be shown that, for any s>0𝑠0s>0italic_s > 0,

    ΞΌn⁒{eβˆ’s⁒t⁒g⁒(t;Ξ»,Οƒ)}β‰ˆcβ‹…ΞΌn⁒{EXP⁒(t;s+Ξ»)},subscriptπœ‡π‘›superscriptπ‘’π‘ π‘‘π‘”π‘‘πœ†πœŽβ‹…π‘subscriptπœ‡π‘›EXPπ‘‘π‘ πœ†\mu_{n}\{e^{-st}g(t;\lambda,\sigma)\}\approx c\cdot\mu_{n}\{\textrm{EXP}({t};{% s+\lambda})\},italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) } β‰ˆ italic_c β‹… italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { EXP ( italic_t ; italic_s + italic_Ξ» ) } , (6)

    where c=Ξ»/(s+Ξ»)⁒eΟƒ2⁒λ2/2π‘πœ†π‘ πœ†superscript𝑒superscript𝜎2superscriptπœ†22c=\lambda/(s+\lambda)e^{\sigma^{2}\lambda^{2}/2}italic_c = italic_Ξ» / ( italic_s + italic_Ξ» ) italic_e start_POSTSUPERSCRIPT italic_Οƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ξ» start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT is independent of n𝑛nitalic_n.

  3. 3.

    Applying the above to Equation 1 with Οƒi=ΟƒsubscriptπœŽπ‘–πœŽ\sigma_{i}=\sigmaitalic_Οƒ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_Οƒ and t0=0subscript𝑑00t_{0}=0italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0, we get

    ΞΌn⁒{eβˆ’s⁒Δ⁒t⁒S~⁒(Δ⁒t)}β‰ˆcβ‹…n!β‹…βˆ‘i=13Ii(s+Ξ»i)n,subscriptπœ‡π‘›superscript𝑒𝑠Δ𝑑~𝑆Δ𝑑⋅𝑐𝑛superscriptsubscript𝑖13subscript𝐼𝑖superscript𝑠subscriptπœ†π‘–π‘›\mu_{n}\{e^{-s\Delta t}\tilde{S}(\Delta t)\}\approx c\cdot n!\cdot\sum_{i=1}^{% 3}\frac{I_{i}}{(s+\lambda_{i})^{n}},italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s roman_Ξ” italic_t end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) } β‰ˆ italic_c β‹… italic_n ! β‹… βˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ( italic_s + italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT end_ARG , (7)

    where S~⁒(Δ⁒t)=(S⁒(Δ⁒t)βˆ’b)β‹…u⁒(Δ⁒t)~𝑆Δ𝑑⋅𝑆Δ𝑑𝑏𝑒Δ𝑑\tilde{S}(\Delta t)=(S(\Delta t)-b)\cdot u(\Delta t)over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) = ( italic_S ( roman_Ξ” italic_t ) - italic_b ) β‹… italic_u ( roman_Ξ” italic_t ).

  4. 4.

    Since Ξ»3subscriptπœ†3\lambda_{3}italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is assumed to be smaller than Ξ»1subscriptπœ†1\lambda_{1}italic_Ξ» start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and Ξ»2subscriptπœ†2\lambda_{2}italic_Ξ» start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, the i=3𝑖3i=3italic_i = 3 term dominates the sum in Equation 7 for large values of n𝑛nitalic_n, yielding

    R⁒(n+1,s)≑μn+1⁒{eβˆ’s⁒t⁒S~⁒(Δ⁒t)}ΞΌn⁒{eβˆ’s⁒t⁒S~⁒(Δ⁒t)}β‰ˆn+1s+Ξ»3.𝑅𝑛1𝑠subscriptπœ‡π‘›1superscript𝑒𝑠𝑑~𝑆Δ𝑑subscriptπœ‡π‘›superscript𝑒𝑠𝑑~𝑆Δ𝑑𝑛1𝑠subscriptπœ†3R(n+1,s)\equiv\frac{\mu_{n+1}\{e^{-st}\tilde{S}(\Delta t)\}}{\mu_{n}\{e^{-st}% \tilde{S}(\Delta t)\}}\approx\frac{n+1}{s+\lambda_{3}}.italic_R ( italic_n + 1 , italic_s ) ≑ divide start_ARG italic_ΞΌ start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) } end_ARG start_ARG italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) } end_ARG β‰ˆ divide start_ARG italic_n + 1 end_ARG start_ARG italic_s + italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG . (8)

    Therefore, with an adequately large n𝑛nitalic_n we have

    Ο„3β‰ˆR⁒(n+1,s)n+1βˆ’s⁒R⁒(n+1,s)+Ξ΄,subscript𝜏3𝑅𝑛1𝑠𝑛1𝑠𝑅𝑛1𝑠𝛿\tau_{3}\approx\frac{R(n+1,s)}{n+1-sR(n+1,s)+\delta},italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT β‰ˆ divide start_ARG italic_R ( italic_n + 1 , italic_s ) end_ARG start_ARG italic_n + 1 - italic_s italic_R ( italic_n + 1 , italic_s ) + italic_Ξ΄ end_ARG , (9)

    where the small positive value δ𝛿\deltaitalic_Ξ΄ has been added to the denominator to control observed estimation variability for small values of Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT.

The plot in Figure 1 demonstrates Equation 6 numerically for s=1𝑠1s=1italic_s = 1 and several selected values for n𝑛nitalic_n and Ξ»πœ†\lambdaitalic_Ξ». Derivations of Equation 5 and 6 are given in the Appendix.

Refer to caption
Figure 1: The scale factor c𝑐citalic_c in Equation 6, from which the ratio ΞΌn⁒{eβˆ’s⁒t⁒g⁒(t;Ξ»,Οƒ)}/ΞΌn⁒{EXP⁒(t;s+Ξ»)}subscriptπœ‡π‘›superscriptπ‘’π‘ π‘‘π‘”π‘‘πœ†πœŽsubscriptπœ‡π‘›EXPπ‘‘π‘ πœ†{\mu_{n}\{e^{-st}g(t;\lambda,\sigma)\}}/{\mu_{n}\{\textrm{EXP}({t};{s+\lambda}% )\}}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) } / italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { EXP ( italic_t ; italic_s + italic_Ξ» ) } has been subtracted. Their difference has a maximum of 2.01Γ—10βˆ’03 times2.01E-03absent2.01\text{\times}{10}^{-03}\text{\,}start_ARG start_ARG 2.01 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG - 03 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG, which decreases as n𝑛nitalic_n increases until n=12𝑛12n=12italic_n = 12 where the mean difference becomes 1.6Γ—10βˆ’16 times1.6E-16absent1.6\text{\times}{10}^{-16}\text{\,}start_ARG start_ARG 1.6 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG - 16 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG.

For the constant values we used in Equation 1, we reference Moskal et al. [2]. These values are Ο„1=1/Ξ»1β‰ˆsubscript𝜏11subscriptπœ†1absent\tau_{1}=1/\lambda_{1}\approxitalic_Ο„ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1 / italic_Ξ» start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT β‰ˆ 0.125 nstimes0.125ns0.125\text{\,}\mathrm{n}\mathrm{s}start_ARG 0.125 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and I1β‰ˆ0.1subscript𝐼10.1I_{1}\approx 0.1italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT β‰ˆ 0.1 for p-Ps, Ο„2=1/Ξ»2β‰ˆsubscript𝜏21subscriptπœ†2absent\tau_{2}=1/\lambda_{2}\approxitalic_Ο„ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1 / italic_Ξ» start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT β‰ˆ 0.388 nstimes0.388ns0.388\text{\,}\mathrm{n}\mathrm{s}start_ARG 0.388 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and I2β‰ˆ0.6subscript𝐼20.6I_{2}\approx 0.6italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT β‰ˆ 0.6 for DA, and Ο„3=1/Ξ»3β‰ˆsubscript𝜏31subscriptπœ†3absent\tau_{3}=1/\lambda_{3}\approxitalic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 1 / italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT β‰ˆ 1-10 nstimes10ns10\text{\,}\mathrm{n}\mathrm{s}start_ARG 10 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and I3β‰ˆ0.3subscript𝐼30.3I_{3}\approx 0.3italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT β‰ˆ 0.3 for o-Ps. The coincidence resolving time (CRT) was chosen to be 600 pstimes600ps600\text{\,}\mathrm{p}\mathrm{s}start_ARG 600 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG full width at half maximum (FWHM) from current state-of-the-art time-of-flight (TOF) PET systems [6, 2], yielding σ≲less-than-or-similar-to𝜎absent\sigma\lesssimitalic_Οƒ ≲220 pstimes220ps220\text{\,}\mathrm{p}\mathrm{s}start_ARG 220 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG. Therefore, for PALS and PLI measurements, the assumptions leading to Equation 9 can be verified.222Given the CRT in FWHM, if time measurements made by all channels are independent, the standard deviation of the single-channel time measurement of a TOF PET system is Οƒ1=ΟƒTOF/2subscript𝜎1subscript𝜎TOF2\sigma_{1}=\sigma_{\mathrm{TOF}}/\sqrt{2}italic_Οƒ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_Οƒ start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG where ΟƒTOF=CRT/2.35subscript𝜎TOFCRT2.35\sigma_{\mathrm{TOF}}=\mathrm{CRT}/2.35italic_Οƒ start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT = roman_CRT / 2.35. The arrival-time difference is calculated by Δ⁒t=(t511,1+t511,2)/2βˆ’tγΔ𝑑subscript𝑑5111subscript𝑑51122subscript𝑑𝛾\Delta t=(t_{511,1}+t_{511,2})/2-t_{\gamma}roman_Ξ” italic_t = ( italic_t start_POSTSUBSCRIPT 511 , 1 end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 511 , 2 end_POSTSUBSCRIPT ) / 2 - italic_t start_POSTSUBSCRIPT italic_Ξ³ end_POSTSUBSCRIPT where t511,jsubscript𝑑511𝑗t_{511,j}italic_t start_POSTSUBSCRIPT 511 , italic_j end_POSTSUBSCRIPT’s are the measured arrival times of the annihilation photons, and tΞ³subscript𝑑𝛾t_{\gamma}italic_t start_POSTSUBSCRIPT italic_Ξ³ end_POSTSUBSCRIPT is the measured arrival time of the prompt gamma. The standard deviation in Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t is therefore equal to 3/2⁒σ1=(3/2)⁒σTOF32subscript𝜎132subscript𝜎TOF\sqrt{3/2}\,\sigma_{1}=(\sqrt{3}/2)\,\sigma_{\mathrm{TOF}}square-root start_ARG 3 / 2 end_ARG italic_Οƒ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ( square-root start_ARG 3 end_ARG / 2 ) italic_Οƒ start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT.

In theory, S~⁒(Δ⁒t)~𝑆Δ𝑑\tilde{S}(\Delta t)over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) decreases exponentially to zero as Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t increases, which allows ΞΌn⁒{S~⁒(Δ⁒t)}subscriptπœ‡π‘›~𝑆Δ𝑑\mu_{n}\{\tilde{S}(\Delta t)\}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) } to be well defined. In reality, noise in S~⁒(Δ⁒t)~𝑆Δ𝑑\tilde{S}(\Delta t)over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) does not necessarily decrease with Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t and hence will contribute a substantial statistical error in ΞΌn⁒{S~⁒(Δ⁒t)}subscriptπœ‡π‘›~𝑆Δ𝑑\mu_{n}\{\tilde{S}(\Delta t)\}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) }, especially for large n𝑛nitalic_n. This instability can be considerably reduced by instead using ΞΌn⁒{eβˆ’s⁒Δ⁒t⁒S~⁒(Δ⁒t)}subscriptπœ‡π‘›superscript𝑒𝑠Δ𝑑~𝑆Δ𝑑\mu_{n}\{e^{-s\Delta t}\tilde{S}(\Delta t)\}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s roman_Ξ” italic_t end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG ( roman_Ξ” italic_t ) }, s>0𝑠0s>0italic_s > 0 as the term eβˆ’s⁒Δ⁒tsuperscript𝑒𝑠Δ𝑑e^{-s\Delta t}italic_e start_POSTSUPERSCRIPT - italic_s roman_Ξ” italic_t end_POSTSUPERSCRIPT attenuates the contribution from data at large Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t. Although a large s𝑠sitalic_s is favored for alleviating the effects of noise, it also diminishes the differences among s+Ξ»i𝑠subscriptπœ†π‘–s+\lambda_{i}italic_s + italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and thereby requires a large n𝑛nitalic_n for Equation 8 to hold true. However, calculation of higher-order moments is more susceptible to noise so the value of s𝑠sitalic_s needs to be chosen with care. In this work, in consideration of the numerical values of Ξ»isubscriptπœ†π‘–\lambda_{i}italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, we choose s=1𝑠1s=1italic_s = 1, which is empirically justified based on the results to be reported below. Future work will consider s𝑠sitalic_s more extensively.

From Equation 4, ΞΌn⁒{f⁒(t)}subscriptπœ‡π‘›π‘“π‘‘\mu_{n}\{f(t)\}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_f ( italic_t ) } can be regarded as a filter that removes an increasingly wider range of small t𝑑titalic_t data as n𝑛nitalic_n increases. By inspection of Figure 2 it can be stated that by choosing an n𝑛nitalic_n which makes Equation 8 valid, a β€œsoft” low cutoff has been introduced. This avoids using data where DA and p-Ps are dominant.

II.2 Simulated data

The proposed method is evaluated by using computer generated simulation data. All computation codes were implemented in Python version 3.11, using specified values for b𝑏bitalic_b, Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, Ξ»isubscriptπœ†π‘–\lambda_{i}italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, and ΟƒπœŽ\sigmaitalic_Οƒ, and the desired total number of events for the histogram N𝑁Nitalic_N. The simulation program first computed S⁒(Δ⁒ti)𝑆Δsubscript𝑑𝑖S(\Delta t_{i})italic_S ( roman_Ξ” italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) according to Equation 1 at discrete times in [βˆ’5 nstimes-5ns-5\text{\,}\mathrm{n}\mathrm{s}start_ARG - 5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, 25 nstimes25ns25\text{\,}\mathrm{n}\mathrm{s}start_ARG 25 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG] and at a regular spacing of 60 pstimes60ps60\text{\,}\mathrm{p}\mathrm{s}start_ARG 60 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG. Next, it scaled S⁒(Δ⁒ti)𝑆Δsubscript𝑑𝑖S(\Delta t_{i})italic_S ( roman_Ξ” italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) to yield βˆ‘iS⁒(Δ⁒ti)=Nsubscript𝑖𝑆Δsubscript𝑑𝑖𝑁\sum_{i}S(\Delta t_{i})=Nβˆ‘ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_S ( roman_Ξ” italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = italic_N. Then, the scaled S⁒(Δ⁒ti)𝑆Δsubscript𝑑𝑖S(\Delta t_{i})italic_S ( roman_Ξ” italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) was replaced by an integer drawn by a Poisson random number generator (from the numpy.random module) whose mean equals the scaled S⁒(Δ⁒ti)𝑆Δsubscript𝑑𝑖S(\Delta t_{i})italic_S ( roman_Ξ” italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ). Figure 2 shows an example of the generated histogram where the parameters were so chosen that it was similar to the measured histogram reported by Moskal et al. [2]. Each simulated histogram, except where noted, contained N=2Γ—105 π‘times2E5absentN=$2\text{\times}{10}^{5}\text{\,}$italic_N = start_ARG start_ARG 2 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG total events.

Refer to caption
Figure 2: A simulated histogram of Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t having 2Γ—105 times2E5absent2\text{\times}{10}^{5}\text{\,}start_ARG start_ARG 2 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG events and using a 60 pstimes60ps60\text{\,}\mathrm{p}\mathrm{s}start_ARG 60 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG bin size. It was generated by using the following parameters: Ξ»1⁒I1subscriptπœ†1subscript𝐼1\lambda_{1}I_{1}italic_Ξ» start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, Ξ»2⁒I2subscriptπœ†2subscript𝐼2\lambda_{2}I_{2}italic_Ξ» start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, Ξ»3⁒I3subscriptπœ†3subscript𝐼3\lambda_{3}I_{3}italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 0.0780.0780.0780.078, 0.3880.3880.3880.388, 0.1650.1650.1650.165, Ο„1subscript𝜏1\tau_{1}italic_Ο„ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, Ο„2subscript𝜏2\tau_{2}italic_Ο„ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, Ο„3=0.125 nssubscript𝜏3times0.125ns\tau_{3}=$0.125\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 0.125 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, 0.388 nstimes0.388ns0.388\text{\,}\mathrm{n}\mathrm{s}start_ARG 0.388 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, 2.5 nstimes2.5ns2.5\text{\,}\mathrm{n}\mathrm{s}start_ARG 2.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, Οƒ=0.169 ns𝜎times0.169ns\sigma=$0.169\text{\,}\mathrm{n}\mathrm{s}$italic_Οƒ = start_ARG 0.169 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, b=10𝑏10b=10italic_b = 10, and t0=9 nssubscript𝑑0times9nst_{0}=$9\text{\,}\mathrm{n}\mathrm{s}$italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = start_ARG 9 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. Ξ»1,Ξ»2,Ξ»3=subscriptπœ†1subscriptπœ†2subscriptπœ†3absent\lambda_{1},\lambda_{2},\lambda_{3}=italic_Ξ» start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_Ξ» start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 8 nsβˆ’1times8superscriptns18\text{\,}\mathrm{n}\mathrm{s}^{-1}start_ARG 8 end_ARG start_ARG times end_ARG start_ARG roman_ns start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG, 2.58 nsβˆ’1times2.58superscriptns12.58\text{\,}\mathrm{n}\mathrm{s}^{-1}start_ARG 2.58 end_ARG start_ARG times end_ARG start_ARG roman_ns start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG, 0.4 nsβˆ’1times0.4superscriptns10.4\text{\,}\mathrm{n}\mathrm{s}^{-1}start_ARG 0.4 end_ARG start_ARG times end_ARG start_ARG roman_ns start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG. The individual contributions from the p-Ps, DA, and o-Ps components are shown in yellow, green, and magenta, respectively.

II.3 Implementation and numerical studies

The background term b𝑏bitalic_b was estimated using the average of the histogram in the Δ⁒t<0 nsΔ𝑑times0ns\Delta t<$0\text{\,}\mathrm{n}\mathrm{s}$roman_Ξ” italic_t < start_ARG 0 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG region. The estimate was then subtracted from each histogram data points and Ξ»3subscriptπœ†3\lambda_{3}italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT was calculated according to Equation 8 and Equation 9. For computing moments, Equation 4 was approximated by naive discrete summation: ΞΌn⁒{f⁒(t)}β‰ˆΞ΄β’tβ’βˆ‘itin⁒S~⁒(ti)subscriptπœ‡π‘›π‘“π‘‘π›Ώπ‘‘subscript𝑖superscriptsubscript𝑑𝑖𝑛~𝑆subscript𝑑𝑖\mu_{n}\{f(t)\}\approx\delta t\sum_{i}t_{i}^{n}\tilde{S}(t_{i})italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_f ( italic_t ) } β‰ˆ italic_Ξ΄ italic_t βˆ‘ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG ( italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) where tisubscript𝑑𝑖t_{i}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the time points where f⁒(t)𝑓𝑑f(t)italic_f ( italic_t ) is available and δ⁒t𝛿𝑑\delta titalic_Ξ΄ italic_t is the spacing of tisubscript𝑑𝑖t_{i}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT.

The proposed method was evaluated for accuracy and precision against a number of parameters, including 1) the order of moment n𝑛nitalic_n used, 2) the upper truncation of the histogram data, 3) the number of counts N𝑁Nitalic_N, and 4) the background level b𝑏bitalic_b. At present, the range of in vivo o-Ps lifetime values has not been precisely established. However, in a recent paper Moskal et al. observed that cardiac myxoma and adipose tissue had mean lifetimes of 1.912 nstimes1.912ns1.912\text{\,}\mathrm{n}\mathrm{s}start_ARG 1.912 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and 2.613 nstimes2.613ns2.613\text{\,}\mathrm{n}\mathrm{s}start_ARG 2.613 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, respectively [2]. Therefore, we performed evaluations for o-Ps lifetimes of 1.0, 1.5, 2.0, 2.5, and 3.0 ns to cover the likely in vivo lifetime range. On the other hand, since they are insensitive to the local environment [7], the reported mean values of 388 pstimes388ps388\text{\,}\mathrm{p}\mathrm{s}start_ARG 388 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG and 142 pstimes142ps142\text{\,}\mathrm{p}\mathrm{s}start_ARG 142 end_ARG start_ARG times end_ARG start_ARG roman_ps end_ARG are used for DA and p-Ps lifetimes, respectively. For I1subscript𝐼1I_{1}italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, I2subscript𝐼2I_{2}italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and I3subscript𝐼3I_{3}italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, the values used were based on quantitatively matching the simulated and measured data.

III Results

The results are presented by Figure 3 through Figure 10. Each figure contains individual points which are estimates of Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, denoted by Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT below, derived from our method. Each data point is the mean of the results obtained from 1Γ—104 times1E4absent1\text{\times}{10}^{4}\text{\,}start_ARG start_ARG 1 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 4 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG histograms simulated by using the same parameters (1Γ—105 times1E5absent1\text{\times}{10}^{5}\text{\,}start_ARG start_ARG 1 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG in the case of Figure 3), and the shaded regions in the plots give the Β±1plus-or-minus1\pm 1Β± 1 standard deviations (std) about the means. The horizontal lines, when present, indicate the true o-Ps lifetimes that are used to produce simulation data.

III.1 Lifetime estimate versus order of moment n𝑛nitalic_n

Figure 3 shows the estimated o-Ps lifetime when the order of moment n𝑛nitalic_n employed by Equation 9 is varied. Four general trends can be observed. First, all curves show a plateau where the estimated lifetime has essentially zero bias. This plateau occurs between nβ‰ˆ5𝑛5n\approx 5italic_n β‰ˆ 5 and nβ‰ˆ16𝑛16n\approx 16italic_n β‰ˆ 16 depending on the o-Ps lifetime. The standard deviations of the estimates are also sufficiently small to allow for discrimination of all the lifetimes examined. Second, the standard deviation increases with n𝑛nitalic_n, which is consistent with the observation made above that higher-order moments are more sensitive to data noise. Third, as Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT increases the plateau occurs at a lower n𝑛nitalic_n. This is because the differences between s+Ξ»3𝑠subscriptπœ†3s+\lambda_{3}italic_s + italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and s+Ξ»i𝑠subscriptπœ†π‘–s+\lambda_{i}italic_s + italic_Ξ» start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, i=1,2𝑖12i=1,2italic_i = 1 , 2 increases, allowing the i=3𝑖3i=3italic_i = 3 term to dominate the sum in Equation 7 at a smaller n𝑛nitalic_n. Fourth, all curves decrease toward zero as the order increases. This is because higher-order moments are increasingly more contributed by data at larger Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t while data is simulated only for βˆ’5 ns≀Δ⁒t≀25 nstimes5nsΔ𝑑times25ns-$5\text{\,}\mathrm{n}\mathrm{s}$\leq\Delta t\leq$25\text{\,}\mathrm{n}\mathrm% {s}$- start_ARG 5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG ≀ roman_Ξ” italic_t ≀ start_ARG 25 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. In practice, the measured histogram is necessarily truncated.

Refer to caption
Figure 3: Estimated o-Ps lifetime as a function of the order of moment n𝑛nitalic_n. The shaded areas for each curve represent the Β±1plus-or-minus1\pm 1Β± 1 standard deviation on each data point. The true Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT values shown in the legend are those used for producing simulation data.

It is also noted that all curves converge at small n𝑛nitalic_n. This reflects the situation that with a small n𝑛nitalic_n the i=1,2𝑖12i=1,2italic_i = 1 , 2 terms in fact dominate the i=3𝑖3i=3italic_i = 3 term in Equation 7. As a result, Equation 9 yields some fixed value since I1,2subscript𝐼12I_{1,2}italic_I start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, and Ο„1,2subscript𝜏12\tau_{1,2}italic_Ο„ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are constants. Based on the plot, we propose to that in general n≲5less-than-or-similar-to𝑛5n\lesssim 5italic_n ≲ 5 should not be used for PALS o-Ps estimations. Table III.1 summarizes the bias-minimizing order of moment in the plateau region and the statistics of the estimates obtained when using this order. As shown, the largest std/mean ratio is only 0.654%, obtained for Ο„3=1.0 nssubscript𝜏3times1.0ns\tau_{3}=$1.0\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 1.0 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG.

Table 1: Bias-minimizing estimates of Figure 3, shown with the moment n𝑛nitalic_n which minimized the bias. We again emphasize that this moment-based method requires n𝑛nitalic_n to be sufficiently large.
Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT (ns) order n𝑛nitalic_n Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT
mean (ns) std (ns) std/mean % error
1.0 11 0.99 0.094 0.095 0.654
1.5 11 1.50 0.056 0.037 0.096
2.0 12 2.00 0.051 0.025 0.008
2.5 10 2.50 0.041 0.016 0.001
3.0 10 3.00 0.037 0.012 0.009

Figure 4 shows the result obtained when the Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT values measured for cardiac myxoma and adipose tissue by Moskal et al. [2] were used to produce simulation data. In this case, the bias-minimizing orders of the moments were found to be n=11𝑛11n=11italic_n = 11 for Ο„3=1.912 nssubscript𝜏3times1.912ns\tau_{3}=$1.912\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 1.912 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG (myxoma tissue), which yielded Ο„^3=1.91Β±0.05subscript^𝜏3plus-or-minus1.910.05\hat{\tau}_{3}=1.91\pm 0.05over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 1.91 Β± 0.05 ns, and n=11𝑛11n=11italic_n = 11 for Ο„3=2.613 nssubscript𝜏3times2.613ns\tau_{3}=$2.613\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 2.613 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG (adipose tissue), which yielded Ο„^3=2.61Β±0.04subscript^𝜏3plus-or-minus2.610.04\hat{\tau}_{3}=2.61\pm 0.04over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 2.61 Β± 0.04 ns. The means of these estimates are within 0.02%percent0.020.02\%0.02 % and 0.005%percent0.0050.005\%0.005 % of their respective true values.

Refer to caption
Figure 4: Similar to Figure 3, this shows two practical cases for o-Ps lifetimes which have been measured recently in vivo [2].

III.2 Lifetime estimate versus number of events N𝑁Nitalic_N

The results discussed were obtained by using simulated data with N=2Γ—105 π‘times2E5absentN=$2\text{\times}{10}^{5}\text{\,}$italic_N = start_ARG start_ARG 2 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG. Generally, a histogram derived from a larger number of events has better statistics and can lead to better estimates for Ξ»3subscriptπœ†3\lambda_{3}italic_Ξ» start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT. Figure 5 shows the results for N𝑁Nitalic_N ranging from 1Γ—103 times1E3absent1\text{\times}{10}^{3}\text{\,}start_ARG start_ARG 1 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG and 1Γ—108 times1E8absent1\text{\times}{10}^{8}\text{\,}start_ARG start_ARG 1 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 8 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG. The order of moment was fixed to n=11𝑛11n=11italic_n = 11. A tabulated summary of these results are shown in Table III.2.

Refer to caption
Figure 5: Estimated o-Ps lifetimes as a function of the number of events N𝑁Nitalic_N in the histogram. The shaded areas again indicate Β±1plus-or-minus1\pm 1Β± 1 standard deviation about the mean.
Table 2: Selected estimates from Figure 5.
Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT (ns) Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT (ns)
N=⁒103 π‘timesE3absentN=${10}^{3}\text{\,}$italic_N = start_ARG start_ARG end_ARG start_ARG ⁒ end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG N=⁒104 π‘timesE4absentN=${10}^{4}\text{\,}$italic_N = start_ARG start_ARG end_ARG start_ARG ⁒ end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 4 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG N=⁒105 π‘timesE5absentN=${10}^{5}\text{\,}$italic_N = start_ARG start_ARG end_ARG start_ARG ⁒ end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG N=⁒106 π‘timesE6absentN=${10}^{6}\text{\,}$italic_N = start_ARG start_ARG end_ARG start_ARG ⁒ end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 6 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG
1.0 0.6Β±0.6plus-or-minus0.60.60.6\pm 0.60.6 Β± 0.6 0.9Β±0.4plus-or-minus0.90.40.9\pm 0.40.9 Β± 0.4 1.0Β±0.1plus-or-minus1.00.11.0\pm 0.11.0 Β± 0.1 0.997Β±0.004plus-or-minus0.9970.0040.997\pm 0.0040.997 Β± 0.004
1.5 2Β±16plus-or-minus2162\pm 162 Β± 16 1.4Β±0.3plus-or-minus1.40.31.4\pm 0.31.4 Β± 0.3 1.49Β±0.08plus-or-minus1.490.081.49\pm 0.081.49 Β± 0.08 1.498Β±0.002plus-or-minus1.4980.0021.498\pm 0.0021.498 Β± 0.002
2.0 2.0Β±0.8plus-or-minus2.00.82.0\pm 0.82.0 Β± 0.8 2.0Β±0.2plus-or-minus2.00.22.0\pm 0.22.0 Β± 0.2 2.00Β±0.06plus-or-minus2.000.062.00\pm 0.062.00 Β± 0.06 2.000Β±0.002plus-or-minus2.0000.0022.000\pm 0.0022.000 Β± 0.002
2.5 2.5Β±0.6plus-or-minus2.50.62.5\pm 0.62.5 Β± 0.6 2.5Β±0.2plus-or-minus2.50.22.5\pm 0.22.5 Β± 0.2 2.50Β±0.06plus-or-minus2.500.062.50\pm 0.062.50 Β± 0.06 2.500Β±0.001plus-or-minus2.5000.0012.500\pm 0.0012.500 Β± 0.001
3.0 3.0Β±0.6plus-or-minus3.00.63.0\pm 0.63.0 Β± 0.6 3.0Β±0.1plus-or-minus3.00.13.0\pm 0.13.0 Β± 0.1 3.00Β±0.06plus-or-minus3.000.063.00\pm 0.063.00 Β± 0.06 3.000Β±0.001plus-or-minus3.0000.0013.000\pm 0.0013.000 Β± 0.001

It can be seen that, as expected, for all the Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT examined the standard deviations of the estimates decrease continually as N𝑁Nitalic_N increases. The estimates asymptotically approach the true values as N𝑁Nitalic_N increases and the statistics are seen to improve. The occurrences of some exceptionally large standard deviations reflect the instability of the ratio estimate given by Equation 9 when the denominator is erroneously small with respect to the numerator due to data noise. Figure 6 shows a simulated histogram for N=1.5Γ—103 π‘times1.5E3absentN=$1.5\text{\times}{10}^{3}\text{\,}$italic_N = start_ARG start_ARG 1.5 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG and Ο„3=1.5 nssubscript𝜏3times1.5ns\tau_{3}=$1.5\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 1.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG when one such case occurs. It can be seen that the Δ⁒t>4Δ𝑑4\Delta t>4roman_Ξ” italic_t > 4 region of the histogram where o-Ps is assumed to dominate is sparsely populated, leading to large and inconsistent errors in the numerator and denominator of Equation 9. Controlling this variability will be commented on in Section IV.3.

Refer to caption
Figure 6: A simulated histogram for Ο„3=1.5 nssubscript𝜏3times1.5ns\tau_{3}=$1.5\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 1.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG and N=1,500𝑁1500N=1,500italic_N = 1 , 500, including the noise-free contributions of DA, p-Ps, and o-Ps.

III.3 Lifetime estimate versus cutoff and background

In an attempt to further alleviate the deleterious effects of noise, we also examined removing data above certain Δ⁒tΔ𝑑\Delta troman_Ξ” italic_t. Figures 7 shows that, for the case of n=11𝑛11n=11italic_n = 11, as the upper truncation threshold Δ⁒tu⁒pΞ”subscript𝑑𝑒𝑝\Delta t_{up}roman_Ξ” italic_t start_POSTSUBSCRIPT italic_u italic_p end_POSTSUBSCRIPT is decreased, the standard deviation decreases, which is particularly evident for small Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, whereas the bias increases in the form of underestimation. However, as shown in Figure 8, the standard deviations relative to the distances between means increases as Δ⁒tu⁒pΞ”subscript𝑑𝑒𝑝\Delta t_{up}roman_Ξ” italic_t start_POSTSUBSCRIPT italic_u italic_p end_POSTSUBSCRIPT is lowered, at least for Δ⁒tu⁒pΞ”subscript𝑑𝑒𝑝\Delta t_{up}roman_Ξ” italic_t start_POSTSUBSCRIPT italic_u italic_p end_POSTSUBSCRIPT above ∼10 nssimilar-toabsenttimes10ns\sim$10\text{\,}\mathrm{n}\mathrm{s}$∼ start_ARG 10 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. Therefore, at least for discrimination tasks, it is beneficial to apply truncation even though it introduces bias.

Refer to caption
Figure 7: Estimated o-Ps lifetime as a function of the upper truncation threshold Δ⁒tu⁒pΞ”subscript𝑑𝑒𝑝\Delta t_{up}roman_Ξ” italic_t start_POSTSUBSCRIPT italic_u italic_p end_POSTSUBSCRIPT. Note that here Ο„^3/Ο„3subscript^𝜏3subscript𝜏3\hat{\tau}_{3}/\tau_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT / italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is plotted. The horizontal line indicates the perfect estimate given by Ο„^3/Ο„3=1subscript^𝜏3subscript𝜏31\hat{\tau}_{3}/\tau_{3}=1over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT / italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 1.
Refer to caption
Figure 8: The ratio of the standard deviation to the mean of the curves from Figure 7. The ratios are seen to decrease as the upper truncation decreases. The standard deviations about the mean values are too small to be visible.

The presence of a nonzero background b𝑏bitalic_b increases data noise in two manners. First, for a given number of total events the number of events contributing to the signal is lowered. Second, although b𝑏bitalic_b may be estimated and subtracted from S⁒(Δ⁒t)𝑆Δ𝑑S(\Delta t)italic_S ( roman_Ξ” italic_t ), the noise associated with it remains in the data. Due to its Poisson nature, the variance of the associated noise is proportional to b𝑏bitalic_b. Figure 9 shows the relationship between the estimate Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and the true Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT for three background levels with n=11𝑛11n=11italic_n = 11, N=2Γ—105 π‘times2E5absentN=$2\text{\times}{10}^{5}\text{\,}$italic_N = start_ARG start_ARG 2 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG, and no upper truncation. The background is modeled as Poisson noise with means of b=0,10,𝑏010b=0,10,italic_b = 0 , 10 , and 20202020 counts.

Refer to caption
Figure 9: Estimated o-Ps lifetime versus the true value for three background levels b𝑏bitalic_b with n=11𝑛11n=11italic_n = 11, N=2Γ—105 π‘times2E5absentN=$2\text{\times}{10}^{5}\text{\,}$italic_N = start_ARG start_ARG 2 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 5 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG and no upper truncation. The region close to Ο„3=0.5 nssubscript𝜏3times0.5ns\tau_{3}=$0.5\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 0.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG may not be monotonic for some cases due to the curvature.

III.4 Monotonicity

We have observed that for discrimination tasks it is beneficial to allow for for some bias if the std/mean ratio of the estimate decreases. For quantitative tasks, as long as Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is related to Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT monotonically in the mean, this observation remains true because we can correct for the bias in Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT by using, for example, a predetermined calibration curve. Such monotonicity is observed in both Figure 7 and Figure 9. Since curves in Figure 3 do not cross one another this monotonicity is also true when varying n𝑛nitalic_n. For b=0,10,𝑏010b=0,10,italic_b = 0 , 10 , and 20202020 mean counts, Ο„^3subscript^𝜏3\hat{\tau}_{3}over^ start_ARG italic_Ο„ end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT remains monotonic with Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT in the mean and is approximately linear for Ο„3≳1.5 nsgreater-than-or-equivalent-tosubscript𝜏3times1.5ns\tau_{3}\gtrsim$1.5\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ≳ start_ARG 1.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. Below ∼0.5 nssimilar-toabsenttimes0.5ns\sim$0.5\text{\,}\mathrm{n}\mathrm{s}$∼ start_ARG 0.5 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, monotonicity may not hold for n=11𝑛11n=11italic_n = 11, however this is well below the range for currently-known biological values of Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT.

IV Discussion

IV.1 Effect of the number of events

It was observed that our moment-based method is significantly affected by the presence of Poisson noise, which comes with reduced event numbers. However, in the mean this method is still monotonic with the true value. A clinical PET system would produce a single histogram for each voxel (even though this is not necessary for estimating Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT using our method). A typical scan may consist of approximately 185 MBqtimes185MBq185\text{\,}\mathrm{M}\mathrm{B}\mathrm{q}start_ARG 185 end_ARG start_ARG times end_ARG start_ARG roman_MBq end_ARG (5 mCi)times5mCi($5\text{\,}\mathrm{m}\mathrm{C}\mathrm{i}$)( start_ARG 5 end_ARG start_ARG times end_ARG start_ARG roman_mCi end_ARG ) of injected activity and a 64 mm3times64superscriptmm364\text{\,}\mathrm{m}\mathrm{m}^{3}start_ARG 64 end_ARG start_ARG times end_ARG start_ARG roman_mm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG voxel size (4 mmtimes4mm4\text{\,}\mathrm{m}\mathrm{m}start_ARG 4 end_ARG start_ARG times end_ARG start_ARG roman_mm end_ARG side length). Assuming the human body to be mainly composed of water with a total mass of 80 kgtimes80kg80\text{\,}\mathrm{k}\mathrm{g}start_ARG 80 end_ARG start_ARG times end_ARG start_ARG roman_kg end_ARG, it would have approximately 8Γ—104 cm3times8E4superscriptcm38\text{\times}{10}^{4}\text{\,}\mathrm{c}\mathrm{m}^{3}start_ARG start_ARG 8 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 4 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG roman_cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG of internal volume. The activity in this volume would then be 2.3Γ—103 Bq/cm3times2.3E3Bqsuperscriptcm32.3\text{\times}{10}^{3}\text{\,}\mathrm{B}\mathrm{q}\mathrm{/}\mathrm{c}% \mathrm{m}^{3}start_ARG start_ARG 2.3 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG roman_Bq / roman_cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG and we might expect 148 Bq/voxeltimes148Bqvoxel148\text{\,}\mathrm{B}\mathrm{q}\mathrm{/}\mathrm{v}\mathrm{o}\mathrm{x}% \mathrm{e}\mathrm{l}start_ARG 148 end_ARG start_ARG times end_ARG start_ARG roman_Bq / roman_voxel end_ARG if there is a uniform activity distribution. Assuming a per-voxel sensitivity of 1%percent11\%1 %, 1.48 counts would be collected each second. To obtain ⁒103 timesE3absent{10}^{3}\text{\,}start_ARG start_ARG end_ARG start_ARG ⁒ end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG end_ARG counts for each voxel, we would need to collect data for approximately 11.3 minutes. For reference, Moskal et al. reported human brain PLI data, where the scan time was 10 minutes (after a standard radiotracer distribution waiting period), and the number of counts collected were 342 for the healthy brain tissue, 547 for the tumor, and 1119 for the salivary glands [8].

Additionally, above we have assumed a uniform radiotracer distribution. When using tumor-specific radiotracers, the radioactivity can be concentrated to tumor regions which will improve the statistics.

IV.2 Short o-Ps lifetimes in vivo

Thus far, the shortest published o-Ps lifetime value using a phantom was 1.8239 nstimes1.8239ns1.8239\text{\,}\mathrm{n}\mathrm{s}start_ARG 1.8239 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG [3]. This was measured in fully O2subscriptO2\mathrm{O}_{2}roman_O start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT saturated water. In a more artificial environment, Stepanov et al. [9] bubbled oxygen gas through water and measured an o-Ps lifetime of 1.746 nstimes1.746ns1.746\text{\,}\mathrm{n}\mathrm{s}start_ARG 1.746 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. With argon gas bubbled through water, however, a lifetime of 1.833 nstimes1.833ns1.833\text{\,}\mathrm{n}\mathrm{s}start_ARG 1.833 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG was measured. This is evidence that even extremely well-oxygenated in vivo environments will not have o-Ps lifetimes of less than 1.746 nstimes1.746ns1.746\text{\,}\mathrm{n}\mathrm{s}start_ARG 1.746 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG. In a recent review, Moskal and StΘ©pieΕ„ concluded that the mean biological o-Ps lifetime would be approximately 2 nstimes2ns2\text{\,}\mathrm{n}\mathrm{s}start_ARG 2 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG [4].

This moment-based method has been shown to produce viable results for lifetimes above approximately 1 nstimes1ns1\text{\,}\mathrm{n}\mathrm{s}start_ARG 1 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, depending on noise, moment, and truncation. For lifetimes on that are on the order of 1 nstimes1ns1\text{\,}\mathrm{n}\mathrm{s}start_ARG 1 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG, standard deviations for n>15𝑛15n>15italic_n > 15 (seen in Figure 3) grow rapidly, and estimations may no longer be monotonic.

IV.3 Drawbacks and future work

A main drawback of this method is the response to noise. The standard deviations in Figure 5 are a significant fraction of the estimate itself, even though the mean is stable. However, this method will be computationally less expensive to execute over an entire PET dataset than fitting-based methods, which may outweigh its precision for low-count cases. Shibuya et al. has previously calculated that approximately 3Γ—108 countstimes3E8counts3\text{\times}{10}^{8}\text{\,}\mathrm{c}\mathrm{o}\mathrm{u}\mathrm{n}\mathrm% {t}\mathrm{s}start_ARG start_ARG 3 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 8 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG roman_counts end_ARG will be needed to estimate oxygen concentration to a precision of 10 mmHgtimes10mmHg10\text{\,}\mathrm{m}\mathrm{m}\mathrm{H}\mathrm{g}start_ARG 10 end_ARG start_ARG times end_ARG start_ARG roman_mmHg end_ARG [3]. This would correspond to three times as many counts as the extent of Figure 5. At this point, the method has essentially reached its asymptote, minimum bias, and minimum standard deviation.

Refer to caption
Figure 10: The estimate of the Ο„3=1 nssubscript𝜏3times1ns\tau_{3}=$1\text{\,}\mathrm{n}\mathrm{s}$italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = start_ARG 1 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG case from Figure 5, however, with Ξ΄=0.3𝛿0.3\delta=0.3italic_Ξ΄ = 0.3 to demonstrate how the standard deviation variability can be handled for small Ο„3subscript𝜏3\tau_{3}italic_Ο„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT values.

To control variations in the standard deviation at low counts, a small positive number δ𝛿\deltaitalic_Ξ΄ may be introduced, as shown in Equation 9. This results in an increased bias and decreased standard deviation seen in Figure 10. Despite the increased overall bias in the asymptotic region (37.6% error), the curve remains monotonic and asymptotic, allowing for the bias to be easily corrected. For comparison, with 1Γ—103 htimes1E3h1\text{\times}{10}^{3}\text{\,}\mathrm{h}start_ARG start_ARG 1 end_ARG start_ARG times end_ARG start_ARG power start_ARG 10 end_ARG start_ARG 3 end_ARG end_ARG end_ARG start_ARG times end_ARG start_ARG roman_h end_ARGistogram counts, the standard deviation decreased from 0.62 nstimes0.62ns0.62\text{\,}\mathrm{n}\mathrm{s}start_ARG 0.62 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG for Ξ΄=0𝛿0\delta=0italic_Ξ΄ = 0 to 0.19 nstimes0.19ns0.19\text{\,}\mathrm{n}\mathrm{s}start_ARG 0.19 end_ARG start_ARG times end_ARG start_ARG roman_ns end_ARG for Ξ΄=0.3𝛿0.3\delta=0.3italic_Ξ΄ = 0.3, while the percentage error increased from 42.9% to 62.4% for the two cases, respectively.

Future work on this estimation method will include its testing on full three-dimensional reconstruction, testing its computational speed with respect to current estimation techniques, and further optimization of fitting parameters, such as the lower truncation point, the eβˆ’s⁒tsuperscript𝑒𝑠𝑑e^{-st}italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT term, smoothing of the histogram, and noise handling modifications.

V Conclusion

In this report we present an analytical method to estimate the orthopositronium lifetime in PALS measurements. This method uses moments of the histogram of arrival time differences, and employs an exponential weighting to mitigate numerical instability in calculation of moments from noisy data. The moment-based method was characterized in this work, and it was shown to be a stable, monotonic estimate in most cases. For cases in which the standard deviation was large, modifications to the method may be employed. This method will continue development to control noise for cases with small statistical power, and will be implemented and tested for three-dimensional PET images.

Appendix

From fn⁒(Ξ»)=ΞΌn⁒{EXP⁒(t;Ξ»)}=λ⁒∫0βˆžπ‘‘t⁒tn⁒eβˆ’Ξ»β’tsubscriptπ‘“π‘›πœ†subscriptπœ‡π‘›EXPπ‘‘πœ†πœ†superscriptsubscript0differential-d𝑑superscript𝑑𝑛superscriptπ‘’πœ†π‘‘f_{n}(\lambda)=\mu_{n}\{\mathrm{EXP}(t;\lambda)\}=\lambda\int_{0}^{\infty}dt\ % t^{n}e^{-\lambda t}italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_Ξ» ) = italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { roman_EXP ( italic_t ; italic_Ξ» ) } = italic_Ξ» ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_t italic_t start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_Ξ» italic_t end_POSTSUPERSCRIPT, one can immediately derive

d⁒fn⁒(Ξ»)d⁒λ=1λ⁒fn⁒(Ξ»)βˆ’fn+1⁒(Ξ»).𝑑subscriptπ‘“π‘›πœ†π‘‘πœ†1πœ†subscriptπ‘“π‘›πœ†subscript𝑓𝑛1πœ†\frac{df_{n}(\lambda)}{d\lambda}=\frac{1}{\lambda}f_{n}(\lambda)-f_{n+1}(% \lambda).divide start_ARG italic_d italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_Ξ» ) end_ARG start_ARG italic_d italic_Ξ» end_ARG = divide start_ARG 1 end_ARG start_ARG italic_Ξ» end_ARG italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_Ξ» ) - italic_f start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT ( italic_Ξ» ) . (10)

Using Equation 5 in the above equation then yields

fn+1⁒(Ξ»)=1λ⁒n!Ξ»n+n⁒n!Ξ»n+1=(n+1)!Ξ»n+1.subscript𝑓𝑛1πœ†1πœ†π‘›superscriptπœ†π‘›π‘›π‘›superscriptπœ†π‘›1𝑛1superscriptπœ†π‘›1f_{n+1}(\lambda)=\frac{1}{\lambda}\frac{n!}{\lambda^{n}}+n\frac{n!}{\lambda^{n% +1}}=\frac{(n+1)!}{\lambda^{n+1}}.italic_f start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT ( italic_Ξ» ) = divide start_ARG 1 end_ARG start_ARG italic_Ξ» end_ARG divide start_ARG italic_n ! end_ARG start_ARG italic_Ξ» start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT end_ARG + italic_n divide start_ARG italic_n ! end_ARG start_ARG italic_Ξ» start_POSTSUPERSCRIPT italic_n + 1 end_POSTSUPERSCRIPT end_ARG = divide start_ARG ( italic_n + 1 ) ! end_ARG start_ARG italic_Ξ» start_POSTSUPERSCRIPT italic_n + 1 end_POSTSUPERSCRIPT end_ARG . (11)

When n=0𝑛0n=0italic_n = 0, Equation 5 also correctly yields f0⁒(Ξ»)=1subscript𝑓0πœ†1f_{0}(\lambda)=1italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_Ξ» ) = 1. Therefore, by induction Equation 5 is valid for nβ‰₯0𝑛0n\geq 0italic_n β‰₯ 0.

The function g⁒(t;Ξ»,Οƒ)=EXP⁒(t;Ξ»)βˆ—π’©β’(t;Οƒ)π‘”π‘‘πœ†πœŽβˆ—EXPπ‘‘πœ†π’©π‘‘πœŽg(t;\lambda,\sigma)=\mathrm{EXP}(t;\lambda)\ast\mathcal{N}(t;\sigma)italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) = roman_EXP ( italic_t ; italic_Ξ» ) βˆ— caligraphic_N ( italic_t ; italic_Οƒ ) is known as the Exponential Modified Gaussian (EMG) and can be shown to equal

g⁒(t;Ξ»,Οƒ)=λ⁒eβˆ’Ξ»β’t⁒eΟƒ2⁒λ2/2⁒h⁒(t;Ξ»,Οƒ),π‘”π‘‘πœ†πœŽπœ†superscriptπ‘’πœ†π‘‘superscript𝑒superscript𝜎2superscriptπœ†22β„Žπ‘‘πœ†πœŽg(t;\lambda,\sigma)=\lambda\ e^{-\lambda t}\ e^{\sigma^{2}\lambda^{2}/2}\ h(t;% \lambda,\sigma),italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) = italic_Ξ» italic_e start_POSTSUPERSCRIPT - italic_Ξ» italic_t end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_Οƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ξ» start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT italic_h ( italic_t ; italic_Ξ» , italic_Οƒ ) , (12)

where

h⁒(t;Ξ»,Οƒ)=12⁒(1+erf⁒(tβˆ’Οƒ2⁒λ2⁒σ))β„Žπ‘‘πœ†πœŽ121erf𝑑superscript𝜎2πœ†2𝜎h(t;\lambda,\sigma)=\frac{1}{2}\left(1+\mathrm{erf}\left(\frac{t-\sigma^{2}% \lambda}{\sqrt{2}\sigma}\right)\right)italic_h ( italic_t ; italic_Ξ» , italic_Οƒ ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 + roman_erf ( divide start_ARG italic_t - italic_Οƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ξ» end_ARG start_ARG square-root start_ARG 2 end_ARG italic_Οƒ end_ARG ) ) (13)

and erf⁒(t)erf𝑑\mathrm{erf}(t)roman_erf ( italic_t ) is the error function [10]. At large t𝑑titalic_t, h⁒(t;Ξ»,Οƒ)β‰ˆ1β„Žπ‘‘πœ†πœŽ1h(t;\lambda,\sigma)\approx 1italic_h ( italic_t ; italic_Ξ» , italic_Οƒ ) β‰ˆ 1 because erf⁒(t)β‰ˆ1erf𝑑1\mathrm{erf}(t)\approx 1roman_erf ( italic_t ) β‰ˆ 1. Therefore,

eβˆ’s⁒t⁒g⁒(t;Ξ»,Οƒ)β‰ˆΞ»s+λ⁒eΟƒ2⁒λ2/2⁒EXP⁒(t;s+Ξ»).superscriptπ‘’π‘ π‘‘π‘”π‘‘πœ†πœŽπœ†π‘ πœ†superscript𝑒superscript𝜎2superscriptπœ†22EXPπ‘‘π‘ πœ†e^{-st}g(t;\lambda,\sigma)\approx\frac{\lambda}{s+\lambda}\ e^{\sigma^{2}% \lambda^{2}/2}\ \mathrm{EXP}(t;s+\lambda).italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) β‰ˆ divide start_ARG italic_Ξ» end_ARG start_ARG italic_s + italic_Ξ» end_ARG italic_e start_POSTSUPERSCRIPT italic_Οƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ξ» start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT roman_EXP ( italic_t ; italic_s + italic_Ξ» ) . (14)

Note that, in evaluating ΞΌn⁒{f⁒(t)}=βˆ«π‘‘t⁒tn⁒f⁒(t)subscriptπœ‡π‘›π‘“π‘‘differential-d𝑑superscript𝑑𝑛𝑓𝑑\mu_{n}\{f(t)\}=\int dt\ t^{n}f(t)italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_f ( italic_t ) } = ∫ italic_d italic_t italic_t start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_f ( italic_t ) the term tnsuperscript𝑑𝑛t^{n}italic_t start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT in the integral progressively diminishes the contribution of f⁒(t)𝑓𝑑f(t)italic_f ( italic_t ) at small t𝑑titalic_t as n𝑛nitalic_n increases. Therefore, for sufficiently large n𝑛nitalic_n one can use the approximation given by Equation 14 to evaluate ΞΌn⁒{eβˆ’s⁒t⁒g⁒(t;Ξ»,Οƒ)}subscriptπœ‡π‘›superscriptπ‘’π‘ π‘‘π‘”π‘‘πœ†πœŽ\mu_{n}\{e^{-st}g(t;\lambda,\sigma)\}italic_ΞΌ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT - italic_s italic_t end_POSTSUPERSCRIPT italic_g ( italic_t ; italic_Ξ» , italic_Οƒ ) }, which then yields Equation 6.

References

  • Moskal and StΔ™pieΕ„ [2022] P. Moskal and E. Ε. StΔ™pieΕ„, Positronium as a biomarker of hypoxia, Bio-Algorithms and Med-Systems 17, 311 (2022).
  • Moskal et al. [2021] P. Moskal, K. Dulski, N. Chug, C. Curceanu, E. CzerwiΕ„ski, M. Dadgar, J. Gajewski, A. Gajos, G. GrudzieΕ„, B. C. Hiesmayr, et al., Positronium imaging with the novel multiphoton pet scanner, Science Advances 7, eabh4394 (2021).
  • Shibuya et al. [2020] K. Shibuya, H. Saito, F. Nishikido, M. Takahashi, and T. Yamaya, Oxygen sensing ability of positronium atom for tumor hypoxia imaging, Communications Physics 3, 173 (2020).
  • Moskal and StΔ™pieΕ„ [2021] P. Moskal and E. Ε. StΔ™pieΕ„, Positronium as a biomarker of hypoxia, Bio-Algorithms and Med-Systems 17, 311 (2021).
  • Shibuya et al. [2022] K. Shibuya, H. Saito, H. Tashima, and T. Yamaya, Using inverse laplace transform in positronium lifetime imaging, Physics in Medicine & Biology 67, 025009 (2022).
  • Conti [2011] M. Conti, Improving time resolution in time-of-flight pet, Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 648, S194 (2011).
  • Cassidy [2018] D. B. Cassidy, Experimental progress in positronium laser physics, The European Physical Journal D 72, 1 (2018).
  • Moskal et al. [2024] P. Moskal, J. Baran, S. Bass, J. Choinski, N. Chug, C. Curceanu, E. Czerwinski, M. Dadgar, M. Das, K. Ε. Dulski, et al., First positronium image of the human brain in vivo, medRxiv , 2024 (2024).
  • Stepanov et al. [2020] S. V. Stepanov, A. V. Bokov, O. Ilyukhina, and V. M. Byakov, Dissolved oxygen and positronium atom in liquid media, Radioelektron. Nanosyst. Inf. Tehnol 12, 107 (2020).
  • Hanggi and Carr [1985] D. Hanggi and P. W. Carr, Errors in exponentially modified gaussian equations in the literature, Analytical chemistry 57, 2394 (1985).