CONSIDERATION OF EVIDENCE

Abstract

In many situations, particularly in forensic science, there is a need to consider one piece of evidence against one or more other pieces of evidence. For instance, it may be desirable to compare a sample collected from a crime scene with a sample collected from a person, with a view to linking the two by comparing the characteristics of their DNA, particularly by expressing the strength or likelihood of the comparison made, a so called likelihood ratio. The method provides a more accurate or robust method for establishing likelihood ratios through the definitions of the likelihood ratios used and the manner in which the probability distribution functions for use in establishing likelihood ratios are obtained. The methods provide due consideration of stutter and/or dropout of alleles in DNA analysis, as well as taking into consideration one or more peak imbalance effects, such as degradation, amplification efficiency, sampling effects and the like.

Description

IMPROVEMENTS IN AND RELATING TO THE CONSIDERATION OF EVIDENCE

This invention concerns improvements in and relating to the consideration of evidence, particularly, but not exclusively the consideration of DNA evidence.

In many situations, particularly in forensic science, there is a need to consider one piece of evidence against one or more other pieces of evidence.

For instance, it may be desirable to compare a sample collected from a crime scene with a sample collected from a person, with a view to linking the two by comparing the characteristics of their DNA. This is an evidential consideration. The result may be used directly in criminal or civil legal proceedings. Such situations include instances where the sample from the crime scene is contributed to by more than one person.

In other instances, it may be desirable to establish the most likely matches between examples of characteristics of DNA samples stored on a database with a further sample. The most likely matches or links suggested may guide further investigations. This is an intelligence consideration.

In both of these instances, it is desirable to be able to express the strength or likelihood of the comparison made, a so called likelihood ratio.

The present invention has amongst its possible aims to establish likelihood ratios. The present invention has amongst its possible aims to provide a more accurate or robust method for establishing likelihood ratios. The present invention has amongst its possible aims to provide probability distribution functions for use in establishing likelihood ratios, where the probability distribution functions are derived from experimental data. The present invention has amongst its possible aims to provide for the above whilst taking into consideration stutter and/or dropout of alleles in DNA analysis. The present invention has amongst its possible aims to provide for the above whilst taking into consideration one or more peak imbalance effects, such as degradation, amplification efficiency, sampling effects and the like in DNA analysis.

According to a first aspect of the invention we provide a method of comparing a test sample result set with another sample result set, the method including:

• • providing information for the first result set on the one or more identities detected for a variable characteristic of DNA;
  • providing information for the second result set on the one or more identities detected for a variable characteristic of DNA; and
  • comparing at least a part of the first result set with at least a part of the second result set.

The method of comparing may be used to considered evidence, for instance in civil or criminal legal proceedings. The comparison may be as to the relative likelihoods, for instance a likelihood ratio, of one hypothesis to another hypothesis. The comparison may be as to the relative likelihoods of the evidence relating to one hypothesis to another hypothesis. In particular, this may be a hypothesis advanced by the prosecution in the legal proceedings and another hypothesis advanced by the defence in the legal proceedings. The likelihood ratio may be of the form:

$\mathrm{LR}=\frac{p(c,\mathrm{gs}V_p)}{p(c,\mathrm{gs}V_d)}=\frac{f(c\mathrm{gs},V_p)}{\mathrm{fc}\mathrm{gs},V_d)}$

where

• • c is the first or test result set from a test sample, more particularly, the first result set taken from a sample recovered from a person or location linked with a crime, potentially expressed in terms of peak positions and/or heights and/or areas;
  • gs is the second or another result set, more particularly, the second result set taken from a sample collected from a person, particularly expressed as a suspect's genotype;
  • V_p is one hypothesis, more particularly the prosecution hypothesis in legal proceedings stating “The suspect left the sample at the scene of crime”;
  • V_d is an alternative hypothesis, more particularly the defence hypothesis in legal proceedings stating “Someone else left the sample at the crime scene”.

The method may include a likelihood which includes a factor accounting for stutter. The factor may be included in the numerator and/or the denominator of a likelihood ratio, LR. The method may include a likelihood which includes a factor accounting for allele dropout. The factor may be included in the numerator and/or denominator of an LR. The method may include a likelihood which includes a factor accounting for one of more effects which impact upon the amount of an allele, for instance a height and/or area observed for a sample compared with the amount of the allele in the sample. The effect may be one or more effects which gives a different ratio and/or balance and/or imbalance between observed and present amounts with respect to different alleles and/or different loci. The effect may be and/or include degradation effects. The effect may be and/or include variations in amplification efficiency. The effect may be and/or include variations in amount of allele in a sub-sample of a sample, for instance, when compared with other sub-samples and/or the sample. The effect may be one whose effect varies with alleles and/or loci and/or allele size and/or locus size. The effect may be an effect which causes a reduction in the observed amount compared with that which would have occurred without the effect. The effect may exclude any stutter effect.

The method may include an LR which includes a factor accounting for stutter in both numerator and denominator. The method may include an LR which includes a factor accounting for allele dropout in both numerator and denominator. The method may include an LR which includes a factor accounting for one of more effects which impact upon the amount of an allele, for instance a height and/or area observed for a sample compared with the amount of the allele in the sample in both numerator and denominator.

In an initial embodiment, the method may consider one or more samples which are from a single source.

Particularly in the context of the initial embodiment, the invention may provided that the method is used in an evidential use.

The method may include a step including an LR. The LR may summarise the value of the evidence in providing support to a pair of competing propositions: one of them representing the view of the prosecution (V_p) and the other the view of the defence (V_d). The propositions may be:

1) V_p: The suspect is the donor of the DNA in the crime stain;

2) V_d: Someone else is the donor of the DNA in the crime stain.

The LR may be:

$\mathrm{LR}=\frac{f(cg_s,V_p)}{f(cg_s,V_d)}$

with the crime profile c in a case consists of a set of crime profiles, where each member of the set is the crime profile of a particular locus. The suspect genotype g_s may be a set where each member is the genotype of the suspect for a particular locus. As a result, the notation may be used as:

c={c _L(i) :i=, 2, . . . , n_i} and g_s={g_s,L(i):=1, 2, . . . , n_i}

where n_i is the number of loci in the profile.

The method may include accounting for peak imbalance. The method may include conditioning on the sum per locus; χ_l(i)), the sum of peak heights in a locus.

The definition of the numerator may be or include:

$\mathrm{Num}=f(cg_s,H_p)=\prod _{i=T}^{n_l}f\left(C_{l\left(i\right)}g_{s,l\left(i\right)},H_P){\chi }_{l\left(i\right)},\delta \right)$

where the peak heights are summed for loci i and δ is a parameter, such as an effect parameter or peak imbalance parameter.

The right-hand side factor of the above equation, ƒ(C_l(i)|g_s,l(i),H_p,χ_l(i),δ)

can be written as: ƒ(C_l(i)|g_l(i),χ_l(i),δ) where it is assumed that g_l(i) is the genotype of the donor of C_l(i), potentially with the donor varying according to the prosecution hypothesis and the defence hypothesis.

The comparison may include use of: ƒ(C_l(i)|g_l(i),χ_l(i),δ).

The definition of the denominator may be or include:

$\mathrm{Den}=f(cg_s,H_d)=\prod _{i=T}^{n_l}f\left(C_{l\left(i\right)}g_{s,l\left(i\right)},H_d){\chi }_{l\left(i\right)},\delta \right)$

The right-hand side factor of the above equation, ƒ(C_l(i)|g_s,l(i),H_d,χ_l(i),δ) can be written as:

$f\hspace{1em}(C_{l\left(i\right)}g_{s,l\left(i\right)},{\chi }_{l\left(i\right)},H_d,\delta )=\sum _i^{}f(C_{l\left(i\right)}g_{u\left(i\right)},{\chi }_{l\left(i\right)},H_d,\delta ,g_{u,l\left(i\right)})\mathrm{Pr}(g_{u,l\left(i\right)}g_{s,l\left(i\right)})$

where the function ƒ(C_l(i)|g_u(i),χ_l(i),H_d,δ,g_u,l(i)) can be written as: ƒ(C_l(i)|g_l(i),χ_l(i),δ)where we assume that g_l(i) is the genotype of the donor of C_l(i).

The factors in the right-hand-side of the equation may be computed using the model of Balding and Nichols. This can be computed using existing formula for conditional genotype probabilities given putative related and unrelated contributors with population structure or not, for instance using the approach defined in J.D. Balding and R. Nichols. DNA profile match probability calculation: How to allow for population stratification, relatedness, database selection and single bands. Forensic Science International, 64:125-140, 1994.

Particularly in the context of the initial embodiment, the invention may provided that the method is used in an intelligence use.

The method of comparing may be used to gather information to assist further investigations or legal proceedings. The method of comparing may provide intelligence on a situation. The method of comparison may be of the likelihood of the information of the first or test sample result given the information of the second or another sample result. The method of comparison may provide a listing of possible another sample results, ideally ranked according to the likelihood. The method of comparison may seek to establish a link between a DNA profile from a crime scene sample and one or more DNA profiles stored in a database.

The method of comparing may provide a link between a DNA profile, for instance from a crime scene sample, and one or more profiles, for instance one or more profiles stored in a database.

The method of comparing may consider a crime profile with the crime profile consisting of a set of crime profiles, where each member of the set is the crime profile of a particular locus. The method may propose, for instance as its output, a list of profiles from the database. The method may propose a posterior probability for one or more or each of the profiles. The method may propose, for instance as its output, a list of profiles, for instance ranked such that the first profile in the list is the genotype of the most likely donor.

The method of comparing may compute posterior probabilities of the genotype given the crime profile for locus i. Given the crime stain, quantity of DNA and effect (such as peak imbalance/EQA parameter), the method may assign probabilities to the genotypes which could be behind the crime stain. The term χ_l(i) may denotes the sum of peak heights in locus i bigger than reporting threshold T_r. The term 6 may denote the effect factor/parameter.

The posterior genotype probability for g_U,l(i)* given c_l(i), χ_l(i) and δ may be calculated using Bayes theorem:

$p(g_{U,l\left(i\right)}^{*}C_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\frac{f(c_{l\left(i\right)}g_{U,l\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta )p\left(g_{U,l\left(i\right)}^{*}\right)}{\sum _{g_{U,l\left(i\right)}}^{}f(c_lg_{U,l\left(i\right)},{\chi }_{l\left(i\right)},\delta )p\left(g_{U,l\left(i\right)}\right)}$

where p(g_U,l(i) is the probability of genotype g_U,l(i) prior to observing the crime profile. The method may provide that its sets a uniform prior to all genotypes so that only the effect of the crime profile is considered. The formula above may be simplified to:

$p(g_{U,l\left(i\right)}^{*}C_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\frac{f(c_{l\left(i\right)}g_{U,l\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta )}{\sum _{g_{U,l\left(i\right)}}^{}f(c_lg_{U,l\left(i\right)},{\chi }_{l\left(i\right)},\delta )}$

As above in the evidential uses, both numerator and denominator can be presented in a form based around the core pdf:

f(C_l(i)|g_l(i),χ_l(i),δ)

where we assume that g_l(i) is the genotype of the donor of C_l(i).

The method may not compute all possible genotypes in a locus. The method may compute/generate genotypes that may lead to a non-zero posterior probability. Starting with the crime profile C_l(i) in this locus, peaks may be designated either as a stutter or alleles. The set of designated alleles may be used for generating the possible genotypes. There may be three possibilities:

• 1. No peaks bigger than reporting threshold T_r and/or no genotype is generated as there is no peak height information to inform them.
• 2. One peak bigger than T_r as allele, denoted by a and/or the possible genotypes are {a,a} and {a,Q} where Q denotes any allele other than a.
• 3. Two peaks bigger than T designated as alleles, denoted by a and b and/or the only possible genotype is {a,b}.

The method may consider the position where allele dropout is not involved given the suspect's genotype.

The method may include, for instance where all the expected peaks given the genotype, including any stutter peaks present, are above the detection threshold limit T, the construction of a pdf according to one or more of the following steps:

Step 1

• • The peak-height sum may be denoted by χ_l(i). The corresponding means for the peak heights of the alleles and the stutters of the putative donor g_l(i) may be denoted by μ_a,1,l(i) and μ_s,1,l(i) respectively. They may be a function of χ_l(i). For each allele a of the donor, we may assign the allele mean μ_a,1,l(i) to the position of allele a, and the stutter mean μ_s,1,l(i) to a position a−1. If the donor is homozygote, we may do the assignment twice.

Step 2

• • If the donor is a heterozygote, the means may be modified using the factor 8 to take into account factors, such as PCR efficiency and degradation, that affect the resulting peak heights. For example, if the donor is a heterozygote in locus l(i) the mean for his/her alleles and stutters may be: δ₁×μ_a,1,l(i) and δ₁×μ_s,1,l(i) for the low-molecular-weight allele and δ₂×μ_a,1,l(i) and δ₂×μ_s,1,l(i) for the high-molecular-weight allele.

Step 4

• • The variances for each allele and stutter may be obtained as a function of their corresponding means. In another step we may add random Gamma variables. A condition for a close form calculation of this addition may be that the β-parameters are the same. Also in a later step, we may divide each Gamma by the overall sum of peak height to account for using the sum of peak heights in this locus. A closed form calculation can be done if all (parameters may be the same. The conditioned on the β-parameters may be obtained by estimating a line between the points form by the means, in the x-axis, and the variances, in the y-axis. A regression line with zero intercept may be fitted to obtain:

{circumflex over (σ)}²=κ₂×μ

• • So, if peak i has mean and variance (μ_i, σ_i²),

β=μ_i/σ_i²=μ_i/(κ₂×μ_i)=1/κ₂

• • may be true, regardless of the value of μ_I.

Step 5

• • The shape (α) and rate (β) parameters may be obtained from the mean and the variances.

Step 6

• • The alpha parameters for alleles and stutters in the same allele position may be added to obtain an overall a for that allele position. This may provide the parameters of a Gamma distribution for each allele position.

Step 7

• • To account for using the sum of peak height in the locus, the collection of Gamma pdfs whose peak heights are above the peak-height reporting limit may be converted to a Dirichlet pdf. This may be achieved in closed form because all β's are the same. The resulting Dirichlet pdf may inherit the a parameters of the Gammas.

In a second consideration, below, we consider the position where allele dropout is involved given the suspect's genotype. The consideration may reflect one or more of the heights in the profile being below the threshold T. In such a case, the peak which is below the threshold may not form part of the value of χ_l(i) and the correction may only applied to those peaks above the threshold.

In the case of a non-adjacent heterozygous alleles case, when h_s,1,l(i)<T then the PDF may be given by:

ƒ(h_s,1,l(i)<T,h_a,1,l(i),h_s,2,l(i),h_a,2,l(i)|g_l(i)={a_1,l(i),a_2,l(i)},χ_l(i),δ)

which can be expressed as:

F(T|α_s,1,l(i),β)f_Dir(π_a,1,l(i),π_s,2,l(i),π_a,2,l(i)|α_a,1,l(i),α_s,2,l(i),α_a,2,l(i),)

where F is the cdf of a gamma distribution with parameters α_s,1,l(i) and β.

If there is more than one peak below the threshold T, then there may be a corresponding number of f.

The method may include a consideration of whether the peaks in the crime profile are either bigger or smaller than the reporting threshold T_r, or not present at all. The method may treat missing peaks and peaks smaller than T_r as peaks that have dropped out. We may partition the crime profile for a given pair of genotype as:

c _l(i) ={h:hεc _l(i) ,h<T _r }∪{h:hεc _l(i) ,h≡T _r}

The resulting pdf may be given by:

$f(c_{l\left(i\right)}g_{1,l\left(i\right)},g_{2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega )=f(\pi \alpha )x\prod _{\left\{h:h\in c_{l\left(i\right)},h<T_r\right\}}^{}F(T{\alpha }_h,{\beta }_h)$

ƒ(π|α) is a Dirichlet pdf with parameters:

α=∪{α_h:hεc_l(i),h≧T_r} and

π=∪{h/χ_l(i)^l:hεc_l(i),h≧T_r}

where a_h is the alpha parameter of the associated Gamma pdf in the corresponding position of height h.

• • χ_l(i)ⁱ=Σ_{hεCl(i),h≧Tr}h is the sum of peak heights bigger than reporting threshold T_r.F(T_r|α_h,β_h) is the CDF of a Gamma distribution with parameters α_h and ρ_h for the peak in the position of h calculated as described above.

The method may include the use of a peak imbalance parameter/effective amplified quantity (EQE) parameter, δ, particularly in the form of a set of δ's, such that there is for instance one for each of the alleles. Each of the peak imbalance parameters in the set can be used to adjust the means for the alleles.

The approach preferably models the effect, such as degradation and other peak imbalance effects, prior to any knowledge of the suspect's genotype. For each locus, the molecular weight of the peaks in the profile may be associated with the sum of the heights. As the molecular weight of the locus increase, a reduction in the sum of the peak heights may be estimated.

The method may provide that for locus l(i), there are a set of peak heights:h_l(i)={h_j,l(i):j=1, . . . , n_l(i)}. Each height may have an associated base pair count:b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. An average base pair count may be used as a measure of molecular weight for the locus, weighted by peak heights. This may be defined as:

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}\mathrm{where}{\chi }_{l\left(i\right)}=\sum _{j=1}^{n_{l\left(i\right)}}h_{j,l\left(i\right)}$

and so the degradation model may be defined as: χ_l(i)=d₁+d₂b_l(i) where d₁ and d₂ are the same for all loci.

The parameters d₁ and d₂ may be calculated using the least squared estimation. As some loci may behave differently to degradation etc, the sum of the peak heights for these loci may be treated as outliers. To deal with these outliers, a Jacknife method may be used. If there are n_L loci with peak height and base pair information, then the approach may include one or more or all of

• • 1. fitting a regression model n_L times, removing the i^th value of the sets {χ_l(i):i=1, . . . , n_L} and { b_l(i):i=1, . . . , n_L}.
  • 2. using the regression model to produce a prediction interval, {circumflex over (χ)}_l(i)=/−2σ where σ is the standard deviation of the residuals in the fitted regression line.
  • 3. when the sum of the peak height χ_i, which is not used for the estimation of the regression line, does not lie within the prediction interval, then consider it as an outlier.
  • 4. removes any outliers from the data set and refits the model, after the n_L models have been produced.
  • 5. the values of d₁ and d₂ being extracted from the model estimated without outliers.

If the effect on in the profile is negligible, peak height variability may cause the estimated value of d₂ to be greater than zero. In such cases, d₂ may be set as 0 and/or d₁ as 1.

In the deployment of the model of the parameter, at locus l(i) there may be a crime profile with peaks having allele designations α_j,l(i) and base pair counts b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. If degradation were not being accounted for, then given the sum of the peak heights χ_l(i) it is possible to obtain a mean and a variance from a Gamma distribution.

When considering the effect, the same Gamma distribution may be used, but the model may be used to adapt the Gamma pdf to account for the molecular weight of the allele.

As previously mentioned, peak heights increase with the sum of peak heights χ_l(i) and therefore the mean and variance may also increase accordingly. If an allele is of high molecular weight, a reduction of χ_l(i) may result in a reduction in the mean and variance. The model may reduce or increases the χ_l(i) associated with an allele according to the effect by using an appropriate δ for that allele.

The appropriate δ's may be calculated as follows using the degradation model χ_l(i)=d₁+d₂b_l(i).

The degradation parameter associated with alleles α_j,l(i) may be defined as δ_j,l(i) so that the sum of peak heights associated with this allele are δ_j,l(i)·χ_l(i).

For each allele the model may be used to estimate the associated peak height sum:

{circumflex over (χ)}_j,l(i)+d₂+d₂b_j,l(i)

The calculations of δ may be made such that the ratio of the estimated peak height sums are preserved; that is:

$\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}}=\frac{{\delta }_{j,l\left(i\right)}·{\chi }_{l\left(i\right)}}{{\delta }_{j+1,l\left(i\right)}·{\chi }_{l\left(i\right)}}$

To do this, a set of n_l(i)−1 equations with n_l(i) unknowns, may be provided:

$\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}}=\frac{{\delta }_{j,l\left(i\right)}}{{\delta }_{j+1,l\left(i\right)}}$

The ratios on the left-hand side may be obtained from the degradation model and the δ's may be the unknown variables. A restriction is set, such that the average peak height sum in the locus remains the same after the application of the δ's, may be:

$\frac{\sum _{j=1}^{n_{l\left(i\right)}}{\delta }_{j,l\left(i\right)}·{\chi }_{l\left(i\right)}}{n_{l\left(i\right)}}={\chi }_{l\left(i\right)}$

which gives a further equation with the δ's as unknown quantities. This may allow a solution to be found as there are n_l(i) equations in the system and n_l(i) unknowns.

The ratio of the estimated peak height sum may be denoted:

$r_{j,l\left(i\right)}=\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}},j=1,2\dots n_{l\left(i\right)}-1$ $r_{j,l\left(i\right)}=1,j=n_{l\left(i\right)}$

The degradation parameters δ's, may be given by:

${\delta }_{j,l\left(i\right)}=\frac{n_{l\left(i\right)}\prod _{k=j}^{n_{l\left(i\right)}}r_{k,l\left(i\right)}}{\sum _{k=1}^{n_{l\left(i\right)}}\prod _k^{n_{l\left(i\right)}}r_{k,l\left(i\right)}}$

The stutter associated with an allele, may have the same degradation parameter δ as the allele because the starting DNA molecule is the same in each case.

In another embodiment, the method may consider one or more samples which are from multiple sources. Two and/or three and/or more sources for the sample may be present.

Particularly in the context of an initial embodiment, the invention may provided that the method is used in an evidential use.

The method may provide that the comparison includes a numerator stated as:

$\mathrm{Num}=f(cg_{U1},g_{U2s},H_p)=\prod _{i=T}^{n_l}f(c_{l\left(i\right)}g_{U1,l\left(i\right)},g_{U2,l\left(i\right)},H_P,{\chi }_{l\left(i\right)},\delta )$

The method may provide that the comparison includes a denominator stated as:

$\mathrm{Den}=f(cg_{U1},g_{U2},H_d)=\prod _{i=T}^{n_l}f(C_{l\left(i\right)}g_{U1,l\left(i\right)},g_{U2,l\left(i\right)},H_d,{\chi }_{l\left(i\right)},\delta )$

The method may include the consideration of the pdf: ƒ(c_l(i)|g_U,1,l(i),g_U,2,l(i),χ_l(i),δ)

Particularly in the context of the initial embodiment, the invention may provided that the method is used in an intelligence use.

The method may compute the posterior probability p(g_U,1,l(i),g_U,2,l(i)|C_l(i),χ_l(i),δ) of pair of genotypes given the peak heights in the profile. This probability may be computed using Bayes theorem. The probability may be computed as:

$p(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}C_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\frac{\begin{array}{c}f\left(c_{l\left(i\right)}g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta \right)\\ p\left(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}\right)\end{array}}{\begin{array}{c}\sum _{g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}}f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta )\\ p\left(g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}\right)\end{array}}$

The method may assume that the prior probability for the pair of genotypes is the same for any genotype combination in the locus. The method may state the probability as:

$p(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}C_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\frac{f\left(c_{l\left(i\right)}g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta \right)}{\sum _{g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}}f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta )}$

The pdf for the peak heights given a pair of putative genotypes may be calculated using the formula below:

$f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\sum _{\omega }^{}f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega )p\left(\omega \right)$

where ω is the mixing proportion.

The method may provide that not all pair of genotypes will have a non-zero probability and/or be calculated. The method may use the crime profile to guess pair of genotypes that may have zero probability. The method may designate peaks in the crime profile as alleles or stutters. The genotypes may be produced based on the peaks designated as alleles. One or more of the following cases may be considered in the method:

• 1. No peaks bigger than the reporting threshold T_r and/or no genotypes are generated.
• 2. One peak bigger than T_r is designated as allele, denoted by a and/or there are two possible genotypes {a, a} and a, Q} where Q denoted any allele other than a and/or any pairing of these genotypes is possible: ({a, a}, {a, a}), ({a, a}, {a, Q}) and ({a, Q}, {a, Q}).
• 3. Two peaks bigger than T_r designated as alleles, denoted by a and b and/or the possible genotypes are {a, a}, {a, b}, {a, Q}, {b, b}, {b, Q} and {Q, Q} where Q is any allele other than a and b and/or any combination of pair of genotypes whose union contains a, b is a possible pair of genotypes: {a, a} with any genotype that contains b; {a, b} with any genotype in the list; {a, Q} with any genotype that contains b; {b, b} with any genotype that contains a; {b, Q} with any genotype that contains a; and {Q, Q} with {a, b}.
• 4. Three peaks bigger than T_r, denoted by a, b and/or this case follows exactly the same logic as in the case above and/or there are 10 genotypes that are possible from allele set: a, b, c and Q, where Q denotes any allele other than a, b and/or all genotype pairs whose union contains a, b, c.
  • 5. Four peaks bigger than T_r are designated as alleles, denoted by a, b, c and d and/or in this case there are 10 possible pair of genotypes and/or any genotype pair whose union is a, b, c, d is considered as a possible genotype pair.

The interest may lie on genotype pairs such that the first and second genotype corresponds to the major and minor contributor respectively. The calculation of the posterior probabilities in this section may be done for all possible combinations of genotypes and mixing proportions. Moving from all combinations of genotypes to major minor may require folding the space of all combinations of genotypes and mixing proportions in two.

The method may consider:

$\mathrm{Pr}(G_M=g_1,G_m=g_2c_{l\left(i\right)})=\sum _{\omega \in \Omega \ge 0.5}^{}\mathrm{Pr}(G_M=g_1,G_m=g_2c_{l\left(i\right)},\omega )p\left(\omega \right)$

where Ω≧0.5 is a discreet set of mixing proportions greater or equal to 0.5. When ω>0.5 the first factor in the summation in the above equation may be:

$\mathrm{Pr}(G_M=g_1,G_m=g_2c_{l\left(i\right)},\omega )=\mathrm{Pr}(G_1=g_1,G_2=g_2c_{l\left(i\right)},\omega )+\mathrm{Pr}(G_1=g_2,G_2=g_1c_{l\left(i\right)},1-\omega )=2x\mathrm{Pr}\left(G_M=g_1,G_m=g_2c_{l\left(i\right)},\omega \right)$

If ω=0.5:

Pr(G_M=g₁,G_m=g₂|c_l(i)ω)=Pr(G₁=g₁,G₂=g₂|c_l(i),ω).

The method, particularly for mixed source samples, may consider the mixing proportion involved. The posterior probability of the mixing proportion given the peaks heights across all loci may be used, and may be expressed as:

$f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)})=\sum _{\omega }^{}f(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},\omega )p(\omega c_{l\left(1\right)},c_{l\left(2\right)},\dots c_{l\left(\mathrm{nLoci}\right)})$

The method may provide that for each locus l(i) it generates a set of possible genotype pairs of potential contributors of the crime profile c_l(i). The j-th instance of the genotype of the contributor 1 and 2 may be denoted by g_U1,j,l(i) and g_U2,j,l(i), respectively, where n_g is the number of genotype pairs. The method may calculate the posterior probability of pair of genotypes given the peak heights in the crime profile c_l(i). The calculation may use a probability distribution for mixing proportion. A sequential method for calculating the posterior distribution of mixing proportion given peak heights across loci may be used.

The mixing proportion may be a continuous quantity in the interval (0, 1). A discrete probability distribution may be used. Assume that we have mixing proportions ω={ω_k: k=1, . . . , n_ω}, where n_ω is the number of mixing proportions considered, the method may set a prior distribution for mixing proportion as uniform over the discrete values. Using Bayes theorem, the posterior distribution for mixing proportion given the peak heights in locus i may be:

$p({\omega }_kc_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta )=\frac{f(c_{l\left(1\right)}{\chi }_{l\left(1\right)},{\omega }_k,\delta )p\left({\omega }_k\right)}{\sum _{m=1}^{n_{\omega }}f(c_{l\left(i\right)}{\chi }_{l\left(i\right)},\delta ,{\omega }_m)p\left({\omega }_m\right)}$

The posterior distribution of mixing proportion for locus i, i=2, 3, . . . , n_L may be given by:

$p({\omega }_kc_{l\left(1\right)},\dots ,c_{l\left(i\right)},{\chi }_{l\left(1\right)},\dots ,{\chi }_{l\left(i\right)},\delta )=\frac{\begin{array}{c}f(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k,\delta )p\left({\omega }_k\right)\\ c_{l\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{l\left(1\right)},\dots {\chi }_{l\left(i-1\right)},\delta \end{array}}{\begin{array}{c}\sum _{m=1}^{n_{\omega }}f(c_{l\left(i\right)}{\chi }_{l\left(i\right)},\delta ,{\omega }_m)\\ p({\omega }_mc_{l\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{l\left(1\right)},\dots {\chi }_{l\left(i-1\right)},\delta )\end{array}}$

where ƒ(ω_k|c_l(i),χ_l(i),i=1, 2, . . . , n_L is defined in the following paragraph. If there are any loci with no information they may be ignored in the calculation as having no information.

The probability density of the peak height in the crime profile c_l(i) at locus l(i) for a given mixing proportion ω_k, may be given by:

$f(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k)=\sum _{j=1}^{n_g}f(c_{l\left(i\right)}g_{U,1,j,l\left(i\right)},g_{U,2,j,l\left(i\right)},{\chi }_{l\left(i\right)},{\omega }_k)p\left(g_{U,1,j,l\left(i\right)},g_{U,2,j,l\left(i\right)}\right)$

where p(g_U1,j,l(i),g_U2,j,l(i)) is the probability of the two genotypes prior to observing the crime profile. This may be based on the assumption of an equal probability of all genotype pairs:

$p\left(g_{U,1,j,l\left(i\right)},g_{U,2,j,l\left(i\right)}\right)=\frac{1}{n_g}$

This

$\frac{1}{n_g}$

may cancel out in the following equations and it may thus be ignored. Then the probability density in the above equation may simplify to:

$f\left(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k\right)=\sum _{j=1}^{n_g}f\left(c_{l\left(i\right)}g_{U1,j,l\left(i\right)},g_{U2,j,l\left(i\right)},{\chi }_{l\left(i\right)},{\omega }_k\right)$

The consideration may include the use of the function ƒ(c_l(i)|g_1,l(i),g_2,l(i),ω,χ_l(i),δ)

The method may construct the pdf using one or more or all of the following steps:

• Step 1 The associated peak-height sum for donor 1 may be ω×χ_l(i). The corresponding means for the peak height of the alleles and the stutters of this donor may be denoted by μ_a,1,l(i) and μ_s,1,l(i) respectively. They may be obtained as a function of χ_D2. For each allele a of donor 1, we may assign the allele mean μ_a,1,l(i) to the position of allele a, and the stutter mean μ_s,1,l(i) to position a−1. If the donor is homozygote, we may do the assignment twice.
• Step 2 The associated peak-height sum for donor 2 may be (1−ω)×χ_l(i)) with associated mean for allele and stutters: μ_a,2,l(i) and μ_s,2,l(i). The assignment of means may be done as in step 1.
• Step 3 If a donor is a heterozygote, the means may be modified to take into account factors, such as PCR efficiency and degradation, that affect the resulting peak heights. For example, if donor 1 is a heterozygote in locus l(i), the mean for his/her alleles and stutters may be: δ₁×μ_a,1,l(i) and δ₁×μ_s,1,l(i) for the low-molecular-weight allele and δ₂×μ_a,1,l(i) and δ₂μ_s,1,l(i) for the high-molecular-weight allele.
• Step 4 The variances for each allele and stutter may be obtained as a function of means. In later step we may need to add random Gamma variables. A condition for a close form calculation may be that the β-parameters are the same. Also in a later step, we may divide each Gamma by the overall sum of peak height to account for using the sum of peak heights in this locus. A closed form calculation can be done if all β parameters are the same. The conditioned on the β-parameters can be obtained by estimating a line between the points formed by the means, in the x-axis, and the variances, in the y-axis. A regression line with zero intercept may be fitted to obtain:

{circumflex over (σ)}²=κ_x×μ

So, if peak i has mean and variance (μ_i,σ_i²),

β=μ_i/σ_i²=μ_i/(κ₂×μ_i)=1/κ₂

regardless of the value of μ_i.

• Step 5 The shape (α) and rate (β) parameters may be obtained from the mean (μ) and the variances ({circumflex over (σ)}²) using the known formulae α=(μ/{circumflex over (σ)}²)² and β=μ/{circumflex over (σ)}^2.
• Step 6 The alpha parameters for alleles and stutters in the same allele position may be added to obtain an overall α for that position.
• Step 7 To account for using the sum of peak height in the locus, the collection of Gamma pdfs whose peak heights are above the peak-height reporting limit may be converted to a Dirichlet pdf. This may be achieved in closed form because all β's are the same. The resulting Dirichlet pdf may inherit the a parameters of the Gammas.

The method may include that the peaks in the crime profile are either bigger or smaller than the reporting threshold T_r, or not present at all. The method may treat missing peaks and peaks smaller than T_r as peak that has dropped out. The method may consider the crime profile for a given pair of genotype as:

c _l(i) ={h:hεc _l(i) ,h<T _r }∪{h:hεc _l(i) ,h≧T _r}

The resulting pdf may be given by:

$f\left(c_{l\left(i\right)}g_{1,l\left(i\right)},g_{2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega \right)=f\left(\pi \alpha \right)x\prod _{\left\{h\text{:}h\in c_{l\left(i\right)},h<T_r\right\}}F\left(T{\alpha }_h,{\beta }_h\right)$

The terms are explained below: ƒ(π/α) may be a Dirichlet pdf with parameters

α=∪{α_h:hεc_l(i),h≧T_r} and

π=∪{h/χ_l(i):hεc_l(i),h≧T_r}

• • where a_h may be the alpha parameter of the associated Gamma pdf in the corresponding position of height h. χ_l(i)ⁱ=Σ_{hεCl(i),h≧Tr}h may be the sum of peak heights bigger than reporting threshold T_r.F(T_r|α_h,β_h) may be the CDF of a Gamma distribution with parameters α_h and β_h for the peak in the position of h calculated as described above.

The method may provide that in locus l(i) there are the set of peak heights h_l(i)={h_j,l(i):j=1, . . . , n_l(i)}. Each height may have an associated base pair count b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. An average base pair count, weighted by peak heights, may be used as a measure of molecular weight for the locus. More specifically, this may be defined as:

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}$ $\mathrm{where}$ ${\chi }_{l\left(i\right)}=\sum _{j=1}^{n_{l\left(i\right)}}h_{j,l\left(i\right)}$

We may define the EAQ model as: χ_l(i)=d₁+d₂b_l(i) where d₁ and d₂ are the same for all loci.

The sum of peak heights χ_l(i) may be assumed to be a linear function of the weighted base-pair average,

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}.$

The method may provide a calculation of the parameters d₁ and d₂, for instance by calculated using least squared estimation. However some loci may behave differently, and therefore the sum of peak heights of these loci can be treated as outlier. We may use a Jackknife method to deal with this problem. If there are n_L loci with peak height and base pair information, then the method may use one or more or all of the following steps.

• 1. Fit the regression model n_L times, removing the i^th value of the sets

{χ_l(i):i=1, . . . n_L} and {b_l(i):i=1, . . . n_L}.

• 2. Use least-squares estimation to produce a prediction interval, {circumflex over (χ)}_l(i)±2σ, where σ is the standard deviation of the residuals in the fitted regression line.
• 3. If the sum of peak height χ_i which was not used for the estimation of the regression line, does not lie within the prediction interval then we consider it an outlier.
• 4. After the n_L models have been produced we remove any outliers from the dataset and re-fit the model.
• 5. The values of d₁ and d₂ are extracted from the model estimated without outliers.
• 6. If the degradation in the profile is negligible, peak height variability may cause the estimated value of d₂ to be greater than zero. In this case we set d₂=0 and d₁=1.

The method may include use of the peak imbalance parameter or EAQ model for taking into account EAQ within a locus. EAQ between loci may be taken into account by conditioning on the sum of peak height per locus. The EAQ model may be used when the pdf of the peak heights for single and two-person profiles is deployed. More specifically, it may be deployed for each heterozygote donor.

Assume that at locus l(i) we have a putative heterozygote donor with alleles a₁,l(i) and a₂,l(i) with corresponding molecular weights in base pairs b₁,l(i) and a₂,l(i), respectively, the method may include one or more of: if we were not considering EAQ, given the sum of peak heights χ_l(i) for this locus we can obtain a mean μ_l(i) and variance σ_l(i)² of a Gamma distribution that models the behaviour of a peak height; H_jl(i) denotes the random variable for the height corresponding the allele s_j,l(i), then:

H _j,l(i)□Γ(μ_l(i),σ_l(i)²|χ_l(i)),j=1,2.

The same Gamma pdf may be used for any allele in the locus. The EAQ model issued may adapt the Gamma pdf by taking into account the molecular weight of the allele. The EAQ model may be used to calculate a pair of factors δ₁ and δ₂ so that the mean values of the Gamma distribution are adjusted accordingly. The new mean may be given by:

μ_j,l(i)=δ×μ_l(i),j=1,2.

The method may include a method for calculating δ₁ and δ₂ using the slope d₂ of the EAQ regression line. The first condition that the δ's must fulfil may be that the slope of a line going through the coordinates (b_1,l(i),μ_1l(i) and (b_2,l(i),μ_2l(i)) is the same as the slope d₂ of the EAQ regression line, i.e.:

$\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{b_{1,l\left(i\right)}-b_{2,l\left(i\right)}}=d_2$

The second condition that the δ's must fulfilled may be the preservation of the mean μ_l(i):

$\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{2}={\mu }_{l\left(i\right)}$

Substituting

${\mu }_{j,l\left(i\right)}=\delta x{\mu }_{l\left(i\right)},j=1,2·\mathrm{in}\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{b_{1,l\left(i\right)}-b_{2,l\left(i\right)}}=d_2$ $\mathrm{and}$ $\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{2}={\mu }_{l\left(i\right)}$

we obtain two equations with two unknowns δ₁ and δ₂. The solution of the equations may be:

${\delta }_1=\frac{d_2(b_{1,l\left(i\right)}-b_{2,l\left(i\right)}+2{\mu }_{l\left(i\right)}}{2{\mu }_{l\left(i\right)}}$ ${\delta }_2=2-{\delta }_1$

The stutter associated with the allelic peak may be treated as having the same degradation factor because it is the starting DNA molecules of the allele that is affected by degradation.

According to a second aspect of the invention we provide a method of comparing a first, potentially test, sample result set with a second, potentially another, sample result set, the method including:

• • providing information for the first result set on the one or more identities detected for a variable characteristic of DNA;
  • providing information for the second result set on the one or more identities detected for a variable characteristic of DNA; andwherein the method uses in the definition of the likelihood ratio the factor: ƒ(C_l(i)|g_l(i),χ_l(i),δ)

The second aspect of the invention may include any of the features, options or possibilities set out elsewhere in this document, including in the other aspects of the invention.

According to a third aspect of the invention we provide a method of comparing a first, potentially test, sample result set with a second, potentially another, sample result set, the method including:

• • providing information for the first result set on the one or more identities detected for a variable characteristic of DNA;
  • providing information for the second result set on the one or more identities detected for a variable characteristic of DNA; andwherein the method uses as the definition of the likelihood ratio the factor:

ƒ(c_l(i)|g_U,1,l(i),g_U,s,l(i),χ_l(i),δ).

The third aspect of the invention may include any of the features, options or possibilities set out elsewhere in this document, including in the other aspects of the invention.

According to a fourth aspect of the invention we provide a method of comparing a first, potentially test, sample result set with a second, potentially another, sample result set, the method including:

• • providing information for the first result set on the one or more identities detected for a variable characteristic of DNA;
  • providing information for the second result set on the one or more identities detected for a variable characteristic of DNA; andwherein the method uses in the definition of the likelihood ratio the factor:

ƒ(c_l(i)|g_1,l(i),g_2,l(i),ω,χ_l(i),δ).

The fourth aspect of the invention may include any of the features, options or possibilities set out elsewhere in this document, including in the other aspects of the invention.

According to a fifth aspect of the invention we provide a method for generating one or more probability distribution functions relating to the detected level for a variable characteristic of DNA, the method including:

a) providing a control sample of DNA;

b) analysing the control sample to establish the detected level for the at least one variable characteristic of DNA;

c) repeating steps a) and b) for a plurality of control samples to form a data set of detected levels;

d) defining a probability distribution function for at least a part of the data set of detected levels.

The method may particularly be used to generate one or more of the probability distribution functions provided elsewhere in this document.

The method may be used to generate one or more probability distributions related to the effect of one or more of: a factor accounting for one of more effects which impact upon the amount of an allele, for instance a height and/or area observed for a sample compared with the amount of the allele in the sample; the effect may be one or more effects which gives a different ratio and/or balance and/or imbalance between observed and present amounts with respect to different alleles and/or different loci; the effect may be and/or include degradation effects; the effect may be and/or include variations in amplification efficiency; the effect may be and/or include variations in amount of allele in a sub-sample of a sample, for instance, when compared with other sub-samples and/or the sample; the effect may be one whose effect varies with alleles and/or loci and/or allele size and/or locus size; the effect may be an effect which causes a reduction in the observed amount compared with that which would have occurred without the effect; the effect may exclude any stutter effect; and in particular their variation with DNA quantity. The DNA quantity may be with respect to an allele and/or allele and stutter and/or two or more alleles and/or two or more stutters and/or the alleles and/or stutters for one or more loci.

The one or more probability distributions may be generated from feed data.

The feed data may be obtained experimentally. The feed data may be obtained by computer modelling.

The experimental determination of the feed data may include one or more of: a sampling step; a dilution step, preferably to provide a range of different dilutions; a purification step; a pooling of samples step; a division of samples step; an amplification step, such as PCR; a detection step, for instance of one of more characteristic units introduced to the amplification products, such as dyes; an electrophoreis step; an interpretation step; a peak identification step; a peak height and/or area determination step.

The number of samples may be greater than 30, preferably greater than 50 and ideally greater than 100. The number of profiles obtained from samples may be greater than 500, preferably greater than 750 and ideally greater than 1000. The samples may be diluted to less than 1000 picograms per microlitre. The samples may be at least 25 picograms per microlitre. The dilution range may be between preferably 10 to 1000 picograms per microlitre, more preferably 50 to 500 picograms per microlitre. The dilutions may be provided in increments of between 10 and 100 pg/μl, for instance of 25 pg/μl. One or more process protocols may be used to process samples.

The experimental determination may include or further include combining, for instance through addition, one or more of the heights and/or areas for one or more of the loci. The combination may be used to provide a measure of DNA quantity. All of the heights and/or areas from one or more loci may be combined. All of the heights and/or areas from all of the loci, or all bar one of the loci, may be combined.

The experimental determination may include or may further include combining, for instance through addition, all of the heights and/or areas for a locus. The combination may provide a measure of DNA quantity for the locus. The combination may provide a mean height and/or area for the locus and/or one or more alleles of the locus.

The experimental determination may include or may further include obtaining a mean height and/or area for one or more alleles and/or one or more loci. Such a separate mean height and/or area may be obtained for each locus.

The experimental determination may include or may further include a consideration and/or plot of mean height and/or area against DNA quantity, preferably on a locus basis. Such a consideration and/or plot may be provided for two or more and preferably all loci. The DNA quantity may be subject to a scaling factor, such as a multiplier.

The experimental determination may include or may further include fitting a distribution to the feed data, particularly a consideration and/or plot of mean height and/or area against DNA quantity. The fitted distribution may be a linear Gamma distribution. The fitted distribution may pass through the origin. The distribution may be specified through two parameters, preferably the shape parameter α and the rate parameter β.

The experimental determination may include or may further include fitting one or more distributions to the feed data, particularly a consideration and/or plot of mean height and/or area against DNA quantity for one or more of the alleles and/or one or more of the stutters of alleles.

The experimental determination may include or may further include a consideration and/or plot of variance against mean height and/or area, preferably on a locus basis. Such a consideration and/or plot may be provided for two or more and preferably all loci.

The experimental determination may include or may further include fitting one or more distributions to the feed data, particularly a consideration and/or plot of variance against mean height. The fitted distribution may be one or more a Gamma distributions. The fitted distribution may pass through the origin. The distribution may be specified through two parameters, preferably the shape parameter α and the rate parameter β. The fitted distribution may be provided by two different distributions, for instance connected by a knot. The distributions may be two quadratic polynomials, preferably joined in a chosen knot. The knot may chosen through experimenting with several candidates and selecting candidates that give a best and/or good fit. The distribution may be of the form, if μ≦knot: σ²=κ_2,1,l(i)×μ+κ_3,1,l(i)×μ² and/or if μ>knot: σ²=κ_2,2,l(i)×μ+κ_3,2l(i)×μ².

The experimental determination may include or may further include fitting one or more distributions to the feed data, particularly a consideration and/or plot of variance against mean height and/or area for one or more of the alleles and/or one or more of the stutters of alleles.

The experimental determination may include or may further include providing that the β values for one or more of the distributions be the same. In particular, the β values for the distribution(s) of variance against mean height and/or area may be the same across two or more loci, and preferably all the loci or all bar one loci. The condition: σ²=k₂×μ and/or

$\beta =\frac{\mu }{{\sigma }^2}=\frac{\mu }{k_2·\mu }=\frac{1}{k^2}$

may be met for one or more of the distributions and/or one or more loci.

The method may include or further include use of an algorithm to estimate the parameters of the mean and variance models. The values of the parameters in iteration m of the algorithm may be denoted by: κ_1,a,l(i)[m],κ_2,1,l(i)[m],κ_3,1,l(i)[m],κ_2,2,l(i)[m],κ_3,2l(i)[m],

Preferably in the first iteration of the algorithm zeros (for instance those heights and/or areas smaller than a threshold) may be ignored. Preferably in and/or from the second iteration of the algorithm onwards, the zeros are replaced by samples obtained from the tail of the Gamma pdfs estimated in the previous step. In particular, one or more of the following may be applied:

• 1. Parameter k_1,a,l(i)[1] is estimated using standard linear regression methods where the response variable are non-zero allele heights and the covariate is the corresponding x.
• 2. Parameters k_2,1,l(i)[1], k_3,1,l(i)[1], k_2,2,l(i)[1], k_3,2,l(i)[1] are estimated by using the estimated mean μ_a,l(i) as the mean and computing the variance of the heights around these mean according to a window size.
• 3. In iteration m, zeros are replaced by samples taken from the family of Gamma distribution estimated in the previous iteration.
• 4. For a zero corresponding to χ, we first obtain a μ_a,l(i)[m−1] from χ and σ_a,l(i)²[m−1] from μ_a,l(i)[m−1].
• 5. Parameter α[m−1] and β[m−1] can be computed from μ_a,l(i)²[m−1] and σ_a,l(i)²[m−1].
• 6. A sample is then taken in the interval (0, 30) from the tail of the distribution using the CDF inverse method using uniform samples in the interval (0, F(30, α[m−1], β[m−1])) where F is the CDF of a Gamma distribution.
• 7. Parameter k_1,a,l(i)[m] is also estimated using standard linear regression methods where the response variable are allele heights and the covariate are the corresponding χ's.
• 8. Zeros are replaced using the method described above.
• 9. Parameters k_2,1,l(i)[m], k_3,1,l(i)[m], k_2,2,l(i)[m], k_3,2,l(i)[m] are estimated by using the estimated mean μ_a,l(i)[m] as the mean and computing the variance of the heights around these mean according to a window size.
• 10. The process is repeated until the parameters converge according to the rules:

(a) |k_1,a,l(i)[m]−k_1,a,l(i)[m−1]|<0.0001;

(b) |k_2,a,l(i)[m]−k_2,a,l(i)[m−1]|<0.01; and

(c) |k_3,a,l(i)[m]−k_3,a,l(i)[m−1]|<0.001.

The method may include or further include use of an algorithm to estimate the parameters of the mean and variance models for both the alleles and stutters, with one or more of the same features being used for both and/or the same algorithm being used for both.

The fifth aspect of the invention may include any of the features, options or possibilities set out elsewhere in this document, including in the other aspects of the invention.

Any of the proceeding aspects of the invention may include the following features, options or possibilities or those set out elsewhere in this document.

The terms peak height and/or peak area and/or peak volume are all different measures of the same quantity and the terms may be substituted for each other or expanded to cover all three possibilities in any statement made in this document where one of the three are mentioned.

The method may be a computer implemented method.

The method may involve the display of information to a user, for instance in electronic form or hardcopy form.

The test sample, may be a sample from an unknown source. The test sample may be a sample from a known source, particularly a known person. The test sample may be analysed to establish the identities present in respect of one or more variable parts of the DNA of the test sample. The one or more variable parts may be the allele or alleles present at a locus. The analysis may establish the one or more variable parts present at one or more loci.

The test sample may be contributed to by a single source. The test sample may be contributed to by an unknown number of sources. The test sample may be contributed to by two or more sources. One or more of the two or more sources may be known, for instance the victim of the crime.

The test sample may be considered as evidence, for instance in civil or criminal legal proceedings. The evidence may be as to the relative likelihoods, a likelihood ratio, of one hypothesis to another hypothesis. In particular, this may be a hypothesis advanced by the prosecution in the legal proceedings and another hypothesis advanced by the defence in the legal proceedings.

The test sample may be considered in an intelligence gathering method, for instance to provide information to further investigative processes, such as evidence gathering. The test sample may be compared with one or more previous samples or the stored analysis results therefore. The test sample may be compared to establish a list of stored analysis results which are the most likely matches therewith.

The test sample and/or control samples may be analysed to determine the peak height or heights present for one or more peaks indicative of one or more identities. The test sample and/or control samples may be analysed to determine the peak area or areas present for one or more peaks indicative of one or more identities. The test sample and/or control samples may be analysed to determine the peak weight or weights present for one or more peaks indicative of one or more identities. The test sample and/or control samples may be analysed to determine a level indicator for one or more identities.

Various embodiments of the invention will now be described, by way of example only, and with reference to the accompanying drawings, in which:

FIG. 1 shows a Bayesian network for calculating the numerator of the likelihood ratio; the network is conditional on the prosecution view V_p. The rectangles represent know quantities. The ovals represent probabilistic quantities. Arrows represent probabilistic dependencies, e.g. the PDF of C_L(1) is given for each value of g_s,L(1) and χ.

FIG. 2 a illustrates an example of a profile for a homozygous source;

FIG. 2 b is a Bayesian Network for the homozygous position;

FIG. 2 c is a further Bayesian Network for the homozygous position;

FIG. 2 d shows homozygote peak height as a function of DNA quantity; with the straight line specified by h=−12.94+1.27×χ.

FIG. 2 e shows the parameters of a Beta PDF that model stutter proportion π_s conditional on parent allele height h.

FIG. 3 a illustrates an example of a profile for a heterozygous source whose alleles are in non-stutter positions relative to one another;

FIG. 3 b is a Bayesian Network for the heterozygous position with non-overlapping allele and stutter peaks;

FIG. 3 c is a further Bayesian Network for the heterozygous position with non-overlapping allele and stutter peaks;

FIG. 3 d

FIG. 3 e shows the variation in density with mean height for a series of Gamma distributions;

FIG. 3 f shows the variation of parameter σ as a function of mean height m;

FIG. 4 a illustrates an example of a profile for a heterozygous source whose alleles include alleles in stutter positions relative to one another;

FIG. 4 b is a Bayesian Network for the heterozygous position with overlapping allele and stutter peaks;

FIG. 4 c is a further Bayesian Network for the heterozygous position with overlapping allele and stutter peaks;

FIG. 5 shows a Bayesian network for calculating the denominator of the likelihood ratio. The network is conditional on the defence hypothesis V_d. The oval represent probabilistic quantities whilst the rectangles represent known quantities. The arrows represent probabilistic dependencies;

FIG. 6 shows a Bayesian Network for calculating likelihood per locus in a generic example;

FIG. 7 shows Bayesian Networks for three allele situations;

FIG. 8 a is a plot of profile mean against profile standard deviation;

FIG. 8 b is a plot of mean height against DNA quantity;

FIG. 9 a pdf for R/M=m;

FIG. 10 shows a Bayesian Network for part of the degradation consideration;

FIG. 11 a is a plot of mean peak height against DNA quantity×10;

FIG. 11 b is a plot of variance against mean height;

FIG. 11 c is a plot of variance against mean height with a regression fitted;

FIG. 12 shows plots of allele mean peak height against DNA quantity×10, stutter mean peak height against DNA quantity×10, variance against mean height and coefficient of variation as a function of mean for locus D3;

FIG. 13 shows the plots of FIG. 12 for locus vWA;

FIG. 14 shows the plots of FIG. 12 for locus D16;

FIG. 15 shows the plots of FIG. 12 for locus D2;

FIG. 16 shows the plots of FIG. 12 for Amelogenin;

FIG. 17 shows the plots of FIG. 12 for locus D8;

FIG. 18 shows the plots of FIG. 12 for locus D21;

FIG. 19 shows the plots of FIG. 12 for locus D18;

FIG. 20 shows the plots of FIG. 12 for locus D19;

FIG. 21 shows the plots of FIG. 12 for locus THO;

FIG. 22 shows the plots of FIG. 12 for locus FGA;

FIG. 23 is a table showing degraded profile information;

FIG. 24 is a plot of DNA quantity in a locus against allele base pairs;

FIG. 25 is a table showing two examples of the degradation model as deployed;

FIG. 26 a,b,c and d show developing Bayesian Networks

1. BACKGROUND

The present invention is concerned with improving the interpretation of DNA analysis. Basically, such analysis involves taking a sample of DNA, preparing that sample, amplifying that sample and analysing that sample to reveal a set of results. The results are then interpreted with respect to the variations present at a number of loci. The identities of the variations give rise to a profile.

The extent of interpretation required can be extensive and/or can introduce uncertainties. This is particularly so where the DNA sample contains DNA from more than one person, a mixture.

The profile itself has a variety of uses; some immediate and some at a later date following storage.

There is often a need to consider various hypotheses for the identities of the persons responsible for the DNA and evaluate the likelihood of those hypotheses, evidential uses.

There is often a need to consider the analysis genotype against a database of genotypes, so as to establish a list of stored genotypes that are likely matches with the analysis genotype, intelligence uses.

Previously the generally accepted method for assigning evidential weight of single profiles is a binary model. After interpretation, a peak is either in the profile or is excluded from the profile.

When making the interpretation, quantitative information is considered via thresholds which determine decisions and via expert opinion. The thresholds seek to deal with allelic dropout, in particular; the expert opinion seeks to deal with heterozygote imbalance and stutters, in particular. In effect, these approaches acknowledged that peak heights and/or areas and/contain valuable information for assigning evidential weight, but the use made is very limited and is subjective.

The binary nature of the decision means that once the decision is made, the results only include that binary decision. The underlying information is lost.

Previously, as exemplified in International Patent Application no PCT/GB2008/003882, a specification of a model for computing likelihood ratios (LRs) that uses peak heights taken from such DNA analysis has been provided. This quantified and modelled the relationship between peaks observed in analysis results. The manner in which peaks move in height (or area) relative to one another is considered. This makes use of a far greater part of the underlying information in the results.

2. OVERVIEW

The aim of this invention is to describe in detail the statistical model for computing likelihood ratios for single profiles while considering peak heights, but also taking into consideration allelic dropout and stutters. The invention then moves on to describe in detail the statistical model for computing likelihood ratios for mixed profiles which considering peak heights and also taking into consideration allelic dropout and stutters.

The present invention provides a specification of a model for computing likelihood ratios (LR's) given information of a different type in the analysis results. The invention is useful in its own right and in a form where it is combined with the previous model which takes into account peak height information.

One such different type of information considered by the present invention is concerned with the effect known as stutter.

Stutter occurs where, during the PCR amplification process, the DNA repeats slip out of register. The stutter sequence is usually one repeat length less in size than the main sequence. When the sequences are separated using electrophoresis to separate them, the stutter sequence gives a band at a different position to the main sequence. The signal arising for the stutter band is generally of lower height than the signal from the main band. However, the presence or absence of stutter and/or the relative height of the stutter peak to the main peak is not constant or fully predictable. This creates issues for the interpretation of such results. The issues for the interpretation of such results become even more problematic where the sample being considered is from mixed sources. This is because the stutter sequence from one person may give a peak which coincides with the position of a peak from the main sequence of another person. However, whether such a peak is in part and/or wholly due to stutter or is nothing to do with stutter is not a readily apparent position.

A second different type of information considered by the present invention is concerned with dropout.

Dropout occurs where a sequence present in the sample is not reflected in the results for the sample after analysis. This can be due to problems specific to the amplification of that sequence, and in particular the limited amount of DNA present after amplification being too low to be detected. This issue becomes increasingly significant the lower the amount of DNA collected in the first place is. This is also an issue in samples which arise from a mixture of sources because not everyone contributes an equal amount of DNA to the sample.

The present invention seeks to make far greater use of a far greater proportion of the information in the results and hence give a more informative and useful overall result.

To achieve this, the present invention includes the use of a number of components. The main components are:

• • 1. An estimated PDF for homozygote peaks conditional on DNA quantity; discussed in detail in LR Numerator Quantification Category 1;
  • 2. An estimated PDF for stutter heights conditional on the height of the parent allele; discussed in detail in LR Numerator Quantification Category 1;
  • 3. An estimated joint probability density function (PDF) of peak height pairs conditional on DNA quantity; discussed in detail in LR Numerator Quantification Category 2. The peak heights are right censored by the limit of detection threshold T_d. Below this threshold it is not safe to designate alleles, as the peaks are too close to the baseline to be distinguished from other elements in the signal. Threshold T_d can be different to the limit-of-detection threshold at 50 rfu suggested by the manufacturers of typical instruments analysing such results.
  • 4. A latent variable X representing DNA quantity that models the variability of peak heights across the profile. It does not consider degradation, but degradation can be incorporated by adding another latent variable Δ that discounts DNA quantity according to a numerical representation of the molecular weight of the locus.
  • 5. The calculation of the LR is done separately for the numerator and the denominator. The overall joint PDF for the numerator and the denominator can be represented with Bayesian networks (BNs).

3. DETAILED DESCRIPTION

Single Profile

3.1—The Calculation of the Likelihood Ratio

The explanation provides:

• • a definition of the Likelihood Ratio, LR, to be considered;
  • then considers the numerator, its component parts and the manner in which they are determined;
  • then considers the denominator, its component parts and the manner in which they are determined; then combines the position reached in a further discussion of the LR.

The explanation is supplemented by the specifics of the approach in particular cases.

An LR summarises the value of the evidence in providing support to a pair of competing propositions: one of them representing the view of the prosecution (V_p) and the other the view of the defence (V_d). The usual propositions are:

• • 1) V_p: The suspect is the donor of the DNA in the crime stain;
    • 2) V_d: Someone else is the donor of the DNA in the crime stain.

The possible values that a crime stain can take are denoted by C, the possible values that the suspect's profile can take are denoted by G_s. A particular value that C takes is written as c, and a particular value that G_s takes is denoted by g_s. In general, a variable is denoted by a capital letter, whilst a value that a variable takes is denoted by a lower-case letter.

We are interested in computing:

$\mathrm{LR}=\frac{p\left(c,g_sV_p\right)}{p\left(c,g_sV_d\right)}=\frac{f\left(c,g_sV_p\right)}{f\left(c,g_sV_d\right)}$

In effect ƒ is a model of how the peaks change with different situations, including the different situations possible and the chance of each of those.

The crime profile c in a case consists of a set of crime profiles, where each member of the set is the crime profile of a particular locus. Similarly, the suspect genotype g_s is a set where each member is the genotype of the suspect for a particular locus. We use the notation:

c={c _L(i) :i=,2, . . . , n_Loci} and gs={gs,_L(i):=1, 2, . . . , n_Loci}

where n_Loci is the number of loci in the profile.

3.2—The LR Numerator Form

The calculation of the numerator is given by:

L _p=ƒ(c|g_s,V_p)

Because peak height is dependent between loci and needs to be rendered independent, the likelihood L_p is factorised conditional on DNA quantity χ. This is because the peak height between loci is also dependent on DNA quantity. This gives:

L _p=ƒ(c_h|g_s,h,χ,V_p)

It will be recalled, that c is a crime profile across loci consisting of per locus profiles, so for a three locus form c={c_L(1)), c_L(2), c_L(3)} and similarly for g_s. We can therefore write the initial equation as:

L _p=ƒ(c_L(1),c_L(2),c_L(3),|g_s,L(1),g_s,L(2),g_s,L(3),V_p)

The combination of the two previous equations, to give conditioning on quantity and expansion per locus gives:

L _p=ƒ(c_L(1)|g_s,L(1),χ_i,V_p)׃(c_L(2),χ_i,V_p)׃(c_L(3)|g_s,L(3),χ_i,V_p)

which can be stated as:

$L_p=\sum _{{\chi }_i}L_{p,L\left(1\right)}\left({\chi }_i\right)\times L_{p,L\left(2\right)}\left({\chi }_i\right)\times L_{p,L\left(3\right)}\left({\chi }_i\right)\times p\left({\chi }_i\right)$

where L_p,L(j)(χ_i is the likelihood for locus j conditional on DNA quantity, this assumes the abstracted form:

L _p,L(j)(χ)=ƒ(c_L(j)|g_s,L(j),V_p,χ_j)

or:

L _p,L(j)(χ)=ƒ(c_L(j)|g_h(j),V,χ_j)

A pictorial description of this calculation is given by the Bayesian Network illustrated in FIG. 1. The Bayesian network is for calculating the numerator of the likelihood ratio; hence, the network is conditional on the prosecution view V_p. The rectangles represent know quantities. The ovals represent probabilistic quantities. Arrows represent probabilistic dependencies, e.g. the PDF of C_L(1) is given for each value of g_s,L(1) and χ.

Here we assume that the crime profile C_L(i) is conditionally independent of C_L(j) given DNA quantity X for i≠j, i, jε{1, 2, . . . , n_L}. It can be written as:

$C_{L\left(1\right)}\coprod C_{L_j}X$

In the Bayesian Network we can see that a path from C_L(1) to C_L(2) passes through χ.

We also assume that is sufficient to use a discrete probability distribution on DNA quantity as an approximation to a continuous probability distribution. This discrete probability distribution is written as {Pr (χ=_χi):i=1, 2, . . . , n_χ}. It can be written simply by {p(χ_i):i=1, 2, . . . , n_χ}.

The likelihood in L_p,L(j)(χ)=ƒ(c_L(j)|g_s,L(j),V_p,X) specified a likelihood of the heights in the crime profile given the genotype of a putative donor, and so, they can be written as:

L _L(j)(χ)=ƒ(c_L(j)|g_L(j),V,χ)

where V states that the genotype of the donor of crime profile c_L(i) is g_L(j). The calculation of the likelihood is discussed below after the discussion of the denominator.

In general terms, the numerator can be stated as:

$\sum _{{\chi }_i}\left[\prod _j^{n\mathrm{loci}}f\left(c_{h\left(j\right)}g_{s,L\left(j\right)},V_p,{\chi }_i\right)\right]p\left({\chi }_i\right)$

where the consideration is in effect, the genotype (g_s) is the donor of (c_h(j)) given the DNA quantity (χ_i).

The general statements provided above for the numerator enable a suitable numerator to be established for the number of loci under consideration.

3.3—The LR Numerator Quantification

All LR calculations fall into three categories. These apply to the numerator and, as discussed below, the denominator. The genotype of the profile's donor is either:

• • 1) a heterozygote with adjacent alleles; or
  • 2) a heterozygote with non-adjacent alleles; or
  • 3) a homozygote.A Bayesian Network for each of these three forms is shown in FIG. 7; left to right, homozygote; non-adjacent heterozygite; adjacent heterozygote.

3.3.1—Category 1: Homozygous Donor

3.3.1.1—Stutter

FIG. 2 a illustrates an example of such a situation. The example has a profile, C_L(3)={h₁₀, h₁₁} arising from a genotype, g_L(3)={11,11}. The consideration is of a donor which is homozygous giving a two peak profile, potentially due to stutter.

This position can be stated in the Bayesian Network of FIG. 2b. The stutter peak height for allele 10, H_stutter,10, is dependent upon the allele peak height 11, H_allele,11, which in turn is dependent upon the DNA quantity, χ.

In this context, χ, is assumed to be a known quantity. H_stutter,10 is a probability distribution function, PDF, which represents the variation in height of the stutter peak with variation in height of the allele peak, H_allele,11. H_allele,11 is a probability distribution, PDF, which represent the variation in height of the allele peak with variation in DNA quantity. In effect, there is a PDF for stutter peak height for each value within the PDF for the allele peak height. The concept is illustrated in FIG. 2c. In the first case shown in FIG. 2c, the allele peak has a height h and the stutter PDF has a range from 0 to x. In the second case shown, the allele peak has a greater height, h+ and the stutter PDF has a range of 0 to x+. Different values within the range have different probabilities of occurrence.

3.3.1.2—PDF for Allele Peak Height with DNA Quantity-Details

The PDF for allele peak height, H_allele,11 in the example, can be obtained from experimental data, for instance by measuring allele peak height for a large number of different, but known DNA quantities.

The model for peak height of homozygote donors is achieved using a Gamma distribution for the PDF, ƒ(h|χ), for peak heights of homozygote donors given DNA quantity χ.

A Gamma PDF is fully specified through two parameter: the shape parameter a and the rate parameter β. These parameters are specified through two parameters: the mean height h, which models the mean value of the homozygote peaks, and parameter k that models the variability of peak heights for the given DNA quantity χ.

The mean value h is calculated through a linear relationship between mean heights and DNA quantity, as shown in FIG. 2d. The equation of the straight line is given by:

h=−12.94+1.27×χ

The line was estimated and plotted using fitHomPDFperX.r. The plot was produced with plot_HomHgivenXPDFs.r.

The variance is modelled with a factor k which is set to 10. The parameters α and β of the Gamma distribution are:

α=h/k and β=α/h

3.3.1.3—PDF for Stutter Peak Height with Allele Peak Height—Details

The PDF for stutter peak height, H_stutter,10 in the example, can also be obtained from experimental data, for instance by measuring the stutter peak height for a large number of different, but known DNA quantity samples, with the source known to be homozygous. These results can be obtained from the same experiments as provide the allele peak height information mentioned in the previous paragraph.

For each parent height there is a Beta distribution describing the probabilistic behaviour of the stutter height. The generic formula for a Beta PDF is:

$f\left(y\alpha ,\beta \right)=\frac{\Gamma \left(\alpha +\beta \right)}{\Gamma \left(\alpha \right)\Gamma \left(\beta \right)}{y^{\alpha -1}\left(1-y\right)}^{\beta -1}$

The conditional PDF ƒ_Hs|_H is in fact specified through the parameters of the Beta distribution that models stutter proportions, that is, stutter height divided by parent allele height. More specifically

${{f_{H_s}}_H\left(h_sh\right)=\frac{1}{h}\times f{\pi }_s}_H\left({\pi }_s\alpha \left(h\right),\beta \left(h\right)\right)$

where α(h) and β(h) are the parameters of a Beta PDF. Notice that α(h) and β(h) are dependent, or functions of the height h of the parent allele. FIG. 2e shows a plot of the parameters as a function of h. These values will be stored digitally.

3.3.1.4 Further Details

The methodology can be applied with a PDF for allele height for all loci, but preferably with a separate PDF for allele height for each locus considered. A separate PDF for each allele at each locus is also possible. The methodology can be applies with a PDF for stutter height for all loci, but preferably with a separate PDF for stutter height at each locus considered. A separate PDF for each allele at each locus is also possible.

In an example where locus three is under consideration and the allele peak is 11 and stutter peak is 10, the PDF for this case is given by the formula:

ƒ_L(3)(h₁₀,h₁₁)=ƒ_s(h₁₀|h₁₁)ƒ_hom(h₁₁)

This formula can be abstracted to give the generic form:

ƒ_L(j)(h_stutter,h_allele)=ƒ_s(h_stutter|h_allele)ƒ_hom(h_allele)

with the manner for obtaining the PDF's as described above.

3.3.1.5—Extension to Possible Dropout

The formula ƒ_L(3)(h₁₀,h₁₁, more generically, ƒ_L(j)(h_allele1, h_allele2), gives density values for any positive value of the arguments. In many occasions either technical dropout or dropout has occurred and therefore we need to perform some integrations. Three possible cases are considered.

Possible Case One—h₁₀≧T_d,h₁₁≧T_d

If both heights in C_L(3) are taller than the limit of detection threshold T_d, then the numerator is given by

L _L(3)(χ)=ƒ_L(3)(h₁₀,h₁₁)

Or generically as:

L _L(j)(χ)=ƒ_L(j)(h_allele1,h_allele2)

Possible Case Two—h₁₀(T_d,h₁₁≧T_d

In this case the height of the stutter is less than the limit-of-detection threshold and so, we need to perform one integral.

L _L(3)(χ)=∫₀^Tdƒ_L(3)(h₁₀,h₁₁)dh₁₀

It can be approximated by:

$L_{L\left(3\right)}\left(\chi \right)\approx \sum _{h_{10}=1}^{T_d}f_{L\left(3\right)}\left(h_{10},h_{11}\right)$

Or more generically as:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{allele}1}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{allele}1},h_{\mathrm{allele}2}\right)$

Possible Case Three—h₁₀T_d,h₁₁T_d

In this case, the height of both the peaks is less than the limit of detection threshold.

L _L(3)(χ)=∫₀^Td∫_h10^Tdƒ_L(3)(h₁₀,h₁₁)dh₁₀dh₁₁.

It can be approximated by:

$L_{L\left(3\right)}\left(\chi \right)\approx \sum _{h_{10}=1}^{T_d}\sum _{h_{11}=h_{10}+1}^{T_d}f_{L\left(3\right)}\left(h_{10},h_{11}\right)$

Or more generically as:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{allele}1}=1}^{T_d}\sum _{h_{\mathrm{allele}2}=h_{\mathrm{allele}1}+1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{allele}1},h_{\mathrm{allele}2}\right)$

3.3.2—Category 2: Heterozygous Donor with Non-Adjacent Alleles

3.3.2.1—Stutter

FIG. 3 a illustrates an example of such a situation. The example has a profile, C_L(2)={h₈,h₉,h₂₀,h₂₁}, arising from a genotype, g_L(2)={19,21}. The consideration is of a donor which is heterozygous, but the peaks are spaced such that a stutter peak cannot contribute to an allele peak. The same approach applies where the allele peaks are separated by two or more allele positions.

This position can be stated as in the Bayesian Network of FIG. 3b. The stutter peak height for allele 18, H_stutter,18 is dependent upon the allele peak height for allele 19, H_allele,19, which is in turn dependent upon the DNA quantity, χ. The stutter peak height for allele 20, H_stutter,20, is dependent upon the allele peak height for allele 21, H_allele,21, which is in turn dependent upon the DNA quantity, χ.

In this context, χ, is assumed to be a known quantity. H_stutter,18 is a probability distribution function, PDF, which represents the variation in height of the stutter peak with variation in height of the allele peak, H_allele,19. H_allele,19 is a probability distribution, PDF, which represent the variation in height of the allele peak with variation in DNA quantity. H_stutter,20 is a probability distribution function, PDF, which represents the variation in height of the stutter peak with variation in height of the allele peak, H_allele,21. H_allele,21 is a probability distribution, PDF, which represent the variation in height of the allele peak with variation in DNA quantity.

These PDF's can be the same PDF's as described above in category 1, particularly where the same locus is involved. As previously mentioned, the PDF's for these different alleles and/or PDF's for these different stutter locations may be different for each allele.

The consistent nature of the PDF's with those described above means that a similar position to that illustrated in FIG. 2c occurs. Equally, these PDF's too can be obtained from experimental data.

FIG. 8 b provides a further illustration of the variation in mean height with DNA quantity (similar to FIG. 2d). Whilst FIG. 8a provides an illustration of such variance modelling, with the value of profile mean plotted against profile standard deviation.

In addition, the Bayesian Network of FIG. 3b indicates that both the allele peak height for allele 19, H_allele,19 and the allele peak height for allele 21, H_allele,21 are dependent upon the heterozygous imbalance, R and the mean peak height, M, with those terms also dependent upon each other and upon the DNA quantity, χ.

The heterozygous imbalance is defined as:

$r=\frac{h_{19}}{h_{21}}$

or generically as:

$r=\frac{h_{\mathrm{allele}1}}{h_{\mathrm{allele}2}}$

The mean height is defined as:

$m=\frac{h_{19}+h_{21}}{2}$

or generically as:

$m=\frac{h_{\mathrm{allele}1}+h_{\mathrm{allele}2}}{2}$

The PDF for ƒ(h₁₉, h₂₁) is defined as:

ƒ(h₁₉,h₂₁)=|J|·ƒ(r|m)·ƒ(m)

with the heterozygous imbalance, r, having a PDF of the lognormal form, for each value of m, so as to give a family of lognormal PDF's overall; and with the mean, m, having a PDF of gamma form, for each value of χ, with a series of discrete values for χ being considered.

FIG. 9 illustrates a PDF for R|M=m using such an approach.

3.3.2.2—Joint PDF for Peak Pair Heights—Details

Providing further detail on this, the specification of a joint distribution of pairs of peak heights h₁ and h₂ is described.

The specification is done by the specification of a joint distribution of mean height m and heterozygote imbalance, which is given by

$\left(h_1,h_2\right)\hspace{0.17em}\mapsto \left(m=\frac{h_1+h_2}{2},r=\frac{h_1}{h_2}\right)$

If we specify a joint PDF for mean height M and heterozygote imbalance R we can obtain a joint PDF for peak heights H₁ and H₂ using the formula:

$f_{H1}{,}_{H2}\left(h_1,h_2\chi \right)=\frac{1}{h_2^2}\left(\frac{h_1+h_2}{2}\right)\times f_{M,R}\left(m,r\chi \right)$

In fact we specify the joint distribution of M and R through the marginal distribution of M, ƒ_M(m|χ), and the conditional distribution of R given M, ƒ_R|_M (r|m). With these considerations the joint PDF for heights is given by the formula:

$f_{H1}{,}_{H2}\left(h_1,h_2\chi \right)=\frac{1}{h_2^2}\left(\frac{h_1+h_2}{2}\right)\times f_{R,M}\left(rm\right)f_M\left(m\chi \right)$

Notice that the PDF for M is conditional on DNA quantity X. This is a feature in the model that allow for dependence among peak heights in a profile.

In the following description we specify the PDF's for M and R|M=m.

3.3.2.3—PDFs For Mean Height Given DNA Quantity-Details

The PDF ƒ_M(m|χ) represents a family of PDF's for mean height, one for each value of DNA quantity. This model the behaviour of peak heights in a profile: the more DNA, the higher the peaks, of course, up to some variability.

The Gamma PDF is given by the formula:

$f\left(x\alpha ,\beta \right)=\frac{1}{s^{\alpha }\Gamma \left(\alpha \right)}x^{\alpha -1}{}^{-x/s}$

where S=1/β. Parameter α is the shape parameter, β is the rate parameter and so, S is the scale parameter.

Therefore, the specification of the Gamma PDF's is achieved through the specification of the parameter α and β parameters as a function of DNA quantity χ. We achieve this through two intermediary parameters m and k that model the mean value and the variance of M, respectively. The mean of the Gamma distributions is given by a linear function displayed in FIG. 3d. The equation of the line is:

m=−8.69+0.66×χ

The variance is controlled by a factor k, which is set to 10 although it will change in the future.

Now that we have the parameters m and k, we can compute the parameters of α and β of a Gamma distribution using the formula:

α=m/k,β=α/ m

For illustrative purposes, a selection of the Gamma distributions is shown in FIG. 3e.

3.3.2.4—PDFs for Heterozygote Imbalance Given Mean Height-Details

The conditional PDFs of heterozygote imbalance are modelled with lognormal PDFs whose PDF is given by

$f_R\left(r\mu ,\sigma \right)=\frac{1}{r\times \sigma \left(m\right)\sqrt{2\pi }}{\exp }^{\frac{-{\left(\ln \left(r\right)-\mu \right)}^2}{2\sigma \left(m\right)}}$

A Lognormal PDF is fully specified through parameters μ and σ(m). The latter parameter is dependent on the mean height m by the plot in FIG. 3f. The transfer of the actual values can be done digitally. Currently the parameters are stored in logNPars.rData.

3.3.2.5—Further Details

As a result, PDF's have been determined for the six dependents in FIG. 3b.

Given the above, the Bayesian Network of FIG. 3b can be simplified to the form of FIG. 3c.

In an example where locus 2 is under consideration and the allele peaks are at 19 and 21 and the stutter peaks are at 18 and 20, the generic PDF for this calculation is given by the formula:

ƒ_L(2)(h₁₈,h₁₉,h₂₀,h₂₁)=ƒ_s(h₁₈|h₁₉)ƒ_s(h₂₀|h₂₁)ƒ_het)(h₁₉|h₂₁)

This formula can be abstracted to give the generic form:

ƒ_L(j)(h_{stutter 1},h_allele1,h_stutter2,h_allele2)=ƒ_stutter)h_stutter1|h_allele1)ƒ_stutter)ƒ_stutter(h_stutter2|h_allele2)ƒ_het(h_allele1|h_allele2)

The manner for obtaining the PDF's is as described above with respect to the simplified form too.

3.3.2.6—Extension to Possible Dropout

The formula f_L(2)(h₁₈, h₁₉, h₂₀, h₂₁), more generically f_L(j)(h_stutter1, h_allele1, h_stutter2, h_allele2) gives density values for any positive value of the arguments. In many occasions either technical dropout, where a peak is smaller than the limit-of-detection threshold T_d, or dropout, where a peak is in the baseline, have occurred and therefore we need to perform some integrations. Eight possible cases are considered.

Possible Case One—h₁₈≧T_d,h₁₉≧T_d,h₂₀≧T_d,h₂₁≧T_d

In this case we do not need to compute any integration and

L _L(2)(χ)=ƒ_L(2)(h₁₈,h₁₉,h₂₀h₂₁)

Or more generically:

L _L(j)(χ)=ƒ_L(j)(h_stutter1,h_allele1,h_stutter2h_allele2)

Possible Case Two—h₁₈≧T_d,h₁₉≧T_di,h₂₀T_d,h₂₁T_d

In this case we need to compute two integrations:

L _L(2)(χ)=∫₀^Td∫_h20^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀h₂₁)dh₂₀dh₂₁.

It can be approximated with the following summations:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{20}=1}^{T_d}\sum _{h_{21}=h_{20}+1}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stuttere}2}=1}^{T_d}\sum _{h_{\mathrm{allele}2}=h_{\mathrm{stutter}2}+1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Three—h₁₈T_d,h₁₉≧T_d,h₂₀≧T_d,h₂₁≧T_d

In this case we need only one integration:

L _L(2)(χ)=∫₀^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀h₂₁)dh₁₈

It can be approximated as summation:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=1}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically as:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Four—h₁₈T_d,h₁₉≧T_d,h₂₀T_d,h₂₁≧T_d

Two integrations are required. The likelihood is given by:

L _L(2)(χ)=∫₀^Td∫₀^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀h₂₁)dh₁₈dh₂₀.

It can be approximated by:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=1}^{T_d}\sum _{h_{20}=1}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically as:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{stutter}2}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Five—h₁₈T_d,h₁₉≧T_d,h₂₀T_d,h₂₁T_d

We need three integrations.

L _L(2)(χ)=∫₀^Td∫₀^Td∫_h20^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀,h₂₁)dh₁₈dh₁₉dh₂₀dh₂₁.

The likelihood is approximated with the summations:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=1}^{T_d}\sum _{h_{20}=1}^{T_d}\sum _{h_{20}+1}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{stutter}2}=1}^{T_d}\sum _{h_{\mathrm{stutter}2}+1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Six—h₁₈ T_d,h₁₉T_d,h₂₀≧T_d,h₂₁T_d

Two integrations are required.

L _L(2)(χ)=∫₀^Td∫_h18^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀h₂₁)dh₁₈dh₁₉.

The likelihood is approximated with the summations:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=1}^{T_d}\sum _{h_{19}=h_{18+1}}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{allele}1}=h_{\mathrm{stutter}1}+1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Seven—h₁₈T_d,h₁₉T_d,h₂₀(T_d,h₂₁≧T_d

We need three integrations.

L _L(2)(χ)=∫₀^Td∫_h18^Td∫₀^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀,h₂₁)dh₁₈dh₁₉dh₂₀.

The likelihood is approximated with the summations:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=0}^{T_d}\sum _{h_{19}=h_{18}+1}^{T_d}\sum _{h_{20}=0}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=0}^{T_d}\sum _{h_{\mathrm{allele}1}=h_{\mathrm{stutter}1}+1}^{T_d}\sum _{h_{\mathrm{stutter}2}=0}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Eight—h₁₈T_d,h₁₉T_d,h₂₀T_d,h₂₁T_d

We need four integrations.

L _L(2)(χ)=∫₀^Td∫_h18^Td∫₀^Td∫_h20^Tdƒ_L(2)(h₁₈,h₁₉,h₂₀,h₂₁)dh₁₈dh₁₉dh₂₀dh₂₁

The likelihood can be approximated with the summations:

$L_{L\left(2\right)}\left(\chi \right)\approx \sum _{h_{18}=1}^{T_d}\sum _{h_{19}=h_{18}+1}^{T_d}\sum _{h_{20}=1}^{T_d}\sum _{h_{21}=h_{20}+1}^{T_d}f_{L\left(2\right)}\left(h_{18},h_{19},h_{20},h_{21}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{allele}1}=h_{\mathrm{stutter}1}+1}^{T_d}\sum _{h_{\mathrm{stutter}2}=1}^{T_d}\sum _{h_{\mathrm{allele}2}=h_{\mathrm{stutter}2}+1}^{T_d}f_{L\left(j\right)}\hspace{1em}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1},h_{\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

3.3.3—Category 3: Heterozygous Donor with Adjacent Alleles

3.3.3.1—Stutter

FIG. 4 a illustrates an example of such a situation. The example has a profile, c_L(1)={h₁₅,h₁₆,h₁₇} arising from a genotype g_L(1)={16,17} where each height h_i can be smaller than the limit-of-detection threshold T_d, situation h_lT_d, or can be greater than this threshold, h_i≧T_d for iε{15,16,17}. The consideration is of a donor which is heterozygous, but with overlap in position between allele peak and stutter peak.

The position can be stated in the Bayesian Network of FIG. 4b. The stutter peak height for allele 15, H_stutter,15, is dependent upon the allele peak height for allele 16, H_allele,16, which is in turn dependent upon the DNA quantity, χ. The stutter peak height for allele 16, H_stutter,16, is dependent upon the allele peak height for allele 17, H_allele,17, which is in turn dependent upon the DNA quantity, χ. Additionally, the Bayesian Network needs to include the combined allele and stutter peak at allele 16, H_{allele+stutter 16} which is dependent upon the allele peak height for allele 16, H_allele,16, and is dependent upon the stutter peak height for allele 16, H_stutter,16.

In terms of the actual observed results, H_stutter,15, H_allele,17, and H_{allele+stutter 16}, are observed and can be seen in FIG. 4a, but H_allele,16, and H_stutter,16 are components within H_{allele+stutter 16} and so are not observed.

In addition, the Bayesian Network of FIG. 4b indicates that both the allele peak height for allele 16, H_allele,16, and the allele peak height for allele 17, H_allele,17, are dependent upon the heterozygous imbalance, R and the mean peak height, M, with those terms also dependent upon each other and upon the DNA quantity, χ.

In this context, χ, is assumed to be a known quantity.

The overlap between stutter and allele contribution within a peak means that a different approach to obtaining the PDF's needs to be taken.

3.3.3.2—PDF for Allele+Stutter Peak Height with Allele Peak Height and Stutter Peak Height—Details

The PDF for ƒ(h_{allelel+stutter1}|h_allele1,h_stutter1)=1 if h_{allele1=stutter1}=h_allele1+h_stutter1 and has value=0 otherwise. This is more clearly seen in the two specific examples:

ƒ(h_{=200 for allele1+stutter1}|h_{=150 for allele1},h_{=50 for stutter1})=1

ƒ(h_{=210 for allele1+stutter1}|h_{=150 for allele1},h_{=50 for stutter1})=0

This form is used to provide a PDF for H_{allele+stutter 16} in the above example.

3.3.3.3—PDF's for Other Observed Peaks

The PDF's for the other two observed dependents are obtained by integrating out H_allele,16, and H_stutter,16 in the above example; more generically, H_allele1, and H_stutter1. Integrating out avoids the need to consider a three dimensional estimation of the PDF's from experimental data.

The integrating out allows PDF's for the resulting components to be sought, for instance by looking at all the possibilities. This provides:

ƒ(h_allele16,h_allele17|χ)׃(h_stutter15|h_allele16)׃(h_stutter16|h_allele17)׃(h_{allele+stutter16}|h_allele16,h_stutter16)

Which equates to:

ƒ(h_allele16,h_allele17|χ)׃(h_stutter15,h_allele16,h_stutter16,h_{allele+stutter16},h_allele17)

This comes together as the simplified Bayesian Network of FIG. 4c. In an example where locus 1 is under consideration and the allele peaks are at 16 and 17 and the stutter peaks are at 15 and 16, we wish to calculate:

L _L(1)(χ)=ƒ(c_L(1)|g_L(1),V,χ)

So, without considering T_d, the generic PDF is defined as:

ƒ_L(1)(h₁₅,h₁₆,h₁₇)=∫_Rƒ_s(h₁₅|h_a,16)ƒ_s(h_s,16|h₁₇)ƒ_het(h_a,16,h₁₇)dh_a,16dh_s,16

where R={h_a16,h_s,16:h_a,16+h_s,16=h₁₆}; ƒ_s is a PDF for stutter heights conditional on parent height; and f_het is a PDF of pairs of heights of heterozygous genotypes. The PDFs in these sections are given for any value h_i, including h, less than the threshold T_d.

The integral in the equation above can be computed by numerical integration or Monte Carlo integration. The preferred method for numerical integration is adaptive quadratures. The simplest method is integration by histogram approximation, which, for completeness, is given below.

The integral in the previous equation can be approximated with the summation:

$f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right)\approx \sum _{h_{a,16}=h_{15}+1}^{h_{16}}f_s\left(h_{15}h_{a,16}\right)f_s\left(h_{s,16}h_{17}\right)f_{\mathrm{het}}\left(h_{a,16},h_{17}\right)$

where h_s,16=h₁₆−h_a,16. The step in the summation is one. It can be modified to have a larger increment, say x_inc, but then the term in the summation needs to be multiplied by x_inc. This is one possible numerical approximation. Faster numerical integrations can be achieved using adaptive methods in which the size of the bin is dynamically selected.

3.3.3.4—Extending to Dropout

The term ƒ_L(1)(h₁₅, h₁₆, h₁₇) provides density values for each value of the arguments. However, in many occasions technical dropout has occurred, that is, a peak is smaller than the limit-of-detection threshold T_d. In this case we need to calculate further integral to obtain the required likelihoods. In the following sections we describe the extra calculations that need to be done for each of the six possible cases.

All integrals described in the sections below can be computed by numerical integration of Monte Carlo integration. The method described in these sections in the simplest way to compute a numerical integration through a hitogram approximation. They are included for the sale of completeness. An integration method based on adaptive quadratures is more efficient in terms of computational cost.

Possible Case One—h₁₅≧T_d,h₁₆≧T_d,h₁₇≧T_d

If all the heights in c_L(1) are taller than T_d then the numerator of the LR for this locus is given by:

L _L(1)(χ)=ƒ_L(1)(h₁₅,h₁₆,h₁₇).

Or more generically:

L _L(j)(χ)=ƒ_L(j)(h_stutter1,h_{allele1+stutter2},h_allele2)

Possible Case Two—h₁₅T_d,h₁₆≧T_d,h₁₇≧T_d

If one of the heights are below T_d we need to perform further integrations. For example if h₁₅T_d the numerator of the LR is given by the equation:

L _L(1)(χ)=∫_h15h16ƒ_L(1)(h₁₅,h₁₆,h₁₇)dh₁₅.

A numerical approximation can be use to obtain the integral:

$L_{L\left(1\right)}\left(\chi \right)=\sum _{h_{15}=1}^{T_d}f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right).$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)=\sum _{h_{\mathrm{stutter}1}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1+\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Three—h₁₅T_d,h₁₆T_d,h₁₇≧T_d

In this case we need to compute two integrals:

L _L(1)(χ)=∫_h15Td∫_h16Tdƒ_L(1)(h₁₅,h₁₆,h₁₇)dh₁₅.

It can be approximated with:

$L_{L\left(1\right)}\left(\chi \right)\approx \sum _{h_{15}=I}^{T_d}\sum _{h_{16}=h_{15}+I}^{T_d}f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right)h_{15}h_{16}.$

Or more generically by:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{allele}1+\mathrm{stutter}2}=h_{\mathrm{stutter}1}+1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1+\mathrm{stutter}2},h_{\mathrm{stutter}2}\right)h_{\mathrm{stutter}1}h_{\mathrm{allele}1+\mathrm{stutter}2}$

Possible Case Four—h₁₅T_d,h₁₆≧T_d,h₁₇T_d

In this case we need to calculate two integrals:

L _L(1)(χ)=∫_h15Td∫_h17Tdƒ_L(1)(h_,15,h₁₆,h₁₇)dh₁₅dh₁₇.

It can be approximated by

$L_{L\left(1\right)}\left(\chi \right)\approx \sum _{h_{15}=1}^{T_d}\sum _{h_{17}=1}^{T_d}f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right)$

Or more generically by:

$L_{L\left(i\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{allele}2}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1+\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

Possible Case Five—h₁₅≧T_d,h₁₆≧T_d,h₁₇T_d

In this case we need to calculate only one integral:

i L_L(1)(χ)=∫_h17Tdƒ_L(1)(h₁₅,h₁₆,h₁₇)dh₁₇.

The integral can be approximated using the summation:

$L_{L\left(1\right)}\left(\chi \right)\approx \sum _{h_{17}=1}^{T_d}f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right)$

Or more generically by:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{allele}2}=1}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}1+\mathrm{stutter}2},h_{\mathrm{stutter}2}\right)$

Possible Case Six—h₁₅T_d,h₁₆T_d,h₁₇T_d

In this case we need to compute three integrals:

L _L(1)(χ)=∫_h—15Td∫_h—16Td∫_h—17Tdƒ_L(1)(h₁₅,h₁₆,h₁₇)dh₁₅dh₁₆dh₁₇.

The integrals can be approximate with the summations,

$L_{L\left(1\right)}\left(\chi \right)\approx \sum _{h_{15}=1}^{T_d}\sum _{h_{16}=h_{15}+1}^{T_d}\sum _{h_{17}}^{T_d}f_{L\left(1\right)}\left(h_{15},h_{16},h_{17}\right)$

Or more generically:

$L_{L\left(j\right)}\left(\chi \right)\approx \sum _{h_{\mathrm{stutter}1}=1}^{T_d}\sum _{h_{\mathrm{allele}1+\mathrm{stutter}2}=h_{\mathrm{stutter}1}+1}^{T_d}\sum _{h_{\mathrm{allele}2}}^{T_d}f_{L\left(j\right)}\left(h_{\mathrm{stutter}1},h_{\mathrm{allele}+\mathrm{stutter}2},h_{\mathrm{allele}2}\right)$

3.3.4—LR Nominator Summary

The approach for the three different categories is summarised in the Bayesian Network of FIG. 5. This presents the acyclic directed graph of a Bayesian Network in the case of three loci with the form:

Locus L(1):

• • c_L(1)={h₁₅,h₁₆,h₁₇} and
  • g_s,L(1)={16,17}

Locus L(2):

• • c_L(2)={h₁₈,h₁₉,h₂₀,h₂₁} and
  • g_s,L(2)={19,20}

Locus L(3):

• • c_L(3)={h₁₀,h₁₁} and
  • g_s(3)={11,11}

The specification of the calculation of likelihood for this Bayesian Network is sufficient for calculating likelihoods for all loci of any number of loci.

3.4 The LR Denominator Form

The calculation of the denominator follows the same derivation approach. Hence, the calculation of the denominator is given by:

L _d=ƒ(c|g_s,V_d)

As above, because the crime profile c extends across loci, for the three locus example, the initial equation of this section can be rewritten as:

L _d=ƒ(c_L(1),c_L(2),c_L(3)|g_s,L(1),g_s,L(2),g_s,L(3),V_d)

Likelihood L_d can be factorised according to DNA quantity and combined with the previous equation's expansion, to give:

$L_d=\sum _{{\chi }_i}f\left(c_{L\left(1\right)}g_{L\left(1\right)},V_d,{\chi }_i\right)f\left(c_{L\left(2\right)}g_{L\left(2\right)},V_d{\chi }_i\right)f\left(c_{L\left(3\right)}g_{L\left(3\right)},V_d{\chi }_i\right)$

This can be abstracted to give:

ƒ(c_L(j)|g_L(j),V_d,χ_i)

As the expression ƒ(c_L(j)|g_L(j),V_d,χ_i) does not specify the donor of the crime stain, it needs to be expanded as:

$f\left(c_{L\left(j\right)}g_{L\left(j\right)},V_d,{\chi }_i\right)=\sum _{g_{U,L\left(j\right)}}f\left(c_{L\left(j\right)}g_{U,L\left(j\right)},V_d,\chi \right)\times p\left(g_{U,L\left(j\right)}g_{S,L\left(j\right)},V_d\right)$

The first term on the right hand side of this definition corresponds to a term of matching form found in the numerator, as discussed above and expressed as:

L _L(j)(χ)=ƒ(c_L(j)|g_L(j),V,χ)

The second term in the right-hand side is a conditional genotype probability. This can be computed using existing formula for conditional genotype probabilities given putative related and unrelated contributors with population structure or not, for instance see J.D. Balding and R. Nichols. DNA profile match probability calculation: How to allow for population stratification, relatedness, database selection and single bands. Forensic Science International, 64:125-140, 1994.

We denote the first term with the expression:

L _d,L(j)(χ)=ƒ(c_L(j)|g_U,L(j),V_d,χ)

with the likelihood in this specified as a likelihood of the heights in the crime profile given the genotype of a putative donor, and so, they can be written as:

L _L(j)(χ)=ƒ(c_L(j)|g_L(j),V,χ)

where V states that the genotype of the donor of crime profile c_L(j) is g_L(j).

The Bayesian Network for calculating the denominator of the likelihood ratio is shown in FIG. 5. The network is conditional on the defence hypothesis V_d. The ovals represent probabilistic quantities whilst the rectangles represent known quantities. The arrows represent probabilistic dependencies.

In general terms, the denominator can be stated as:

$\sum _{{\chi }_i}\left[\prod _j^{n\mathrm{loci}}\sum f\left(c_{L\left(j\right)}g_{u,L\left(j\right)},V_d,{\chi }_i\right)\times p\left(g_{u,L\left(j\right)}g_{s,L\left(j\right)}\right)\right]p\left({\chi }_i\right)$

where the consideration is in effect, the genotype (g_s) is the donor of (c_h(j)) given the DNA quantity (χ_i).

The general statements provided above for the denominator enable a suitable denominator to be established for the number of loci under consideration.

3.5—The LR Denominator Quantification

In the denominator of the LR we need to calculate the likelihood of observing a set of heights giving any potential contributors. Most of the likelihoods would return a zero, if there is a height that is not explained by the putative unknown contributor. The presence of a likelihood of zero as the denominator in the LR would be detrimental to the usefulness of the LR.

In this section we provide with a method for generating genotype of unknown contributors that will lead to a non-zero likelihood.

For c_L(i) there may be a requirement to augment with zeros to account for peaks that are smaller than the limit-of-detection threshold T_d. It is assumed that the height of a stutter is at most the height of the parent allele.

The various possible cases observed from a single unknown contributor are now considered. In the generic definitions, the allele number, stated as allele1, allele 2 etc refers to the sequence in the size ordered set of alleles, in ascending size.

Possible Case 1—Four Peaks

For this to be a single profile we need the two pair of heights where each pair are adjacent. If the heights are c_L(i)={h₁, h₂, h₃, h₄}, then the only possible genotype of the contributor is g_U={2,4}. Crime profile c_L(i) remains unchanged.Possible Case 2—Three Peaks with One Allele not AdjacentIn this cases, there are two sub-cases to consider:

• • The larger two peaks are adjacent. If the peak heights are c_L(i)={h₂, h₅, h₆}, then the only possible genotype is g_U,_L(i)={2,6} and c_L(i){h₁, h₂, h₅, h₆} where h₁=0.
  • The smaller two peaks are adjacent. If the peak heights are {h₂, h₃, h₅}, the only possible genotype is g_U={3,5} and c_L(i)={h₂,h₃, h₄, h₅} where h₄=0.

Possible Case 3—Three Adjacent Peaks

The alleles heights can be written as c_L(i)={h₂, h₃, h₄}. There are only two sub-cases to consider:

g _U,_L(i)={2,4} or

g _U,_L(i)={3,4}.

• • If g_U,_L(i)={2,4}, then c_L(i)={h_,,h₂,h₃,h₄} where h₁=0.
  • If g_U,_L(i)={3,4}, then c_L(i) remains unchanged.

Possible Case 4—Two Non-Adjacent Peaks

If allele heights are c_L(i)={h₂,h₄}, then the only possible genotype is g_U,_L(i)={2,4} and c_L(i)={h₁,h₂,h₃,h₄} where h₁=0 and h3=0.

Possible Case 5—Two Adjacent Peaks

If allele heights are c_L(i)={h₂,h₃} then four possible genotypes need to be considered:

g_U,_L(i){2,3}

g_U,_L(i){3,3}

g_U,_L(i)={3,4} or

g_U,_L(i)={3,Q}

where Q is any other allele different than alleles 2, 3 and 4.

• • if g_U,_L(i)={2,3}, then c_L(i)={h₁,h₂,h₃} where h₁=0
  • if g_U,_L(i)={3,3}, then c_L(i)={h₂,h₃} remains unchanged
  • if g_U,_L(i)={3,4}, then C_L(i)={h₂,h₃,h₄} where h₄=0
  • if g_U,_L(i)={3,Q}, then c_L(i)={h₂,h₃,h_s,Q,h_Q} where h_s,Q=h_Q=0.Possible Case 6—One peakIf the peak is denoted by c_L(i)={h₂}, then three possible genotypes need to be considered:

g_U,_L(i)={2,2}

g_U,_L(i)={2,3} or

g_U,_L(i)={2,Q}

where Q is any allele other than 2 and 3.

if g_U,_L(i)={2,2}, then c_L(i)={h₁,h₂} where h₁=0

if g_U,_L(i)={2,3}, then c_L(i)={h₁,h₂,h₃} where h₁=h₃=0

if g_U,_L(i)={2,Q}, then c_L(i)={h₁,h₂,h_s,Q,h_Q} where h₁=h_s,Q=h_Q=0

Possible Case 7—No peakIf this case the LR is one and therefore, there is no need to compute anything.

4. DETAILED DESCRIPTION

Mixed Profile

4.1—The Calculation of the LR

The aim of this section is to describe in detail the statistical model for computing likelihood ratios for mixed profiles while considering peak heights, allelic dropout and stutters.

In considering mixtures, there are various hypotheses which are considered. These can be broadly grouped as follows:

Prosecution hypotheses:

• • V_p(S+V): The DNA came from the suspect and the victim;
  • V_p(S₁+S₂): The DNA came from suspect 1 and suspect 2;
  • V_p(S+U): The DNA came from the suspect and an unknown contributor;
  • V_p(V+U): The DNA came from the victim and an unknown contributor.Defence hypotheses:
  • V_d(S+U): The DNA came from the suspect and an unknown contributor;
  • V_d(V+U): The DNA came from the victim and an unknown contributor;
  • V_d(U+U): The DNA came from two unknown contributors.

The combinations that are used in casework are:

• • V_p(S+V) and V_d(S+U);
  • V_p(S+V) and V_d(V+U);
  • V_p(S+U) and V_d(U+U);
  • V_p(V+U) and V_d(U+U);
  • V_p(S₁+S₂) and V_d(U+U).

If we denote by K₁ and K₂ the person whose genotypes are known, there are only three generic pairs of propositions:

• • V_p(K₁+K₂) and V_d(K₁+U);
    • V_p(K₁+U) and V_d(U+U);
    • V_p(K₁+K₂) and V_d(U+U).

The likelihood ratio (LR) is the ratio of the likelihood for the prosecution hypotheses to the likelihood for the defence hypotheses. In this section, that means the LR's for the three generic combinations of prosecution and defence hypotheses listed above.

Throughout this section p(w) denotes a discrete probability distribution for mixing proportion w and p(x) denotes a discrete probability distribution for x.

4.4.1—Proposition One—V_p(K₁+K₂) and V_d(K₁+U)

The numerator of the LR is:

$\mathrm{num}=\sum _x\sum _w\prod _i^{n\mathrm{loci}}f\left(C_{L\left(i\right)}g1,L\left(i\right),g2,L_{\left(i\right)},w,x\right)p\left(w\right)p\left(x\right)$

where:

• • g₁ and g₂ are the genotypes of the known contributors K₁ and K₂ across loci;
  • c. is the crime profile across loci;
  • The subscript L(i) means that the either the genotype of crime profile is for locus i or n_loci is the number of loci.
  • The denominator of the LR is:

$\mathrm{den}=\sum _x\sum _w\prod _i^{n\mathrm{loci}}\sum _{\mathrm{gU},L\left(i\right)}f\left(C_{L\left(i\right)}g_1,L\left(i\right),\mathrm{gU},L\left(i\right),w,x\right)p\left(\mathrm{gU},L\left(i\right)g_1,L\left(i\right),g_2,L\left(i\right)\right)p\left(w\right)p\left(x\right)$

where:

• • g1,L(i) is the genotype of the known contributor in locus I;
  • g2,L(i) is a known genotype for locus i but it is not proposed as a genotype of the donor of the mixture;
  • gU,L(i) is the genotype of the unknown donor.

The conditional genotype probability in the right-hand-side of the equation is calculated using the Balding and Nichols model cited above.

The function in the left-hand side equation is calculated from probability distribution functions of the type described above and below.

4.4.2—Proposition Two—V_p(K₁+U) and V_d(U+U)

The numerator is:

$\mathrm{num}=\sum _x\sum _w\prod _i^{n\mathrm{loci}}\sum _{\mathrm{gU},L\left(i\right)}f\left(C_{L\left(i\right)}g_1,L_i,\mathrm{gu},L_{\left(i\right)},w,x\right)p\left(\mathrm{gu},L\left(i\right)g1,L\left(i\right)\right)p\left(w\right)p\left(x\right)$

where:

g1,L(i) is the genotype of the known contributor K₁ in locus i.

The denominator is

$\mathrm{den}=\sum _x\sum _w\prod _i^{n_{\mathrm{Loci}}}\sum _{g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)}}f\left(c_{ℒ\left(i\right)}g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)},w,x\right)p\left(g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)}g_{1,ℒ\left(i\right)},g_2,L\left(i\right)\right)p\left(w\right)p\left(x\right)$

where:g1,L(i) is the genotype of the known contributor K₁ in locus i; andg_U1,L(i) and g_U2,L(i) are the genotypes for locus i of the unknown contributors.

The second factor is computed as:

p(g_U,,L(i),g_U2,L(i)|g_1,L(i))=P(g_U1,L(i)|g_1,L(i),g_U2,L(i))p(g_U2,L(i)|g_1,L(i))

The factors in the right-hand-side of the equation are computed using the model of Balding and Nichols cited above.

4.4.3—Proposition Three—V_p(K₁+K₂) and V_d(U+U)

The numerator is the same as the numerator for the first generic pair of hypotheses. The denominator is almost the same as the denominator for the second generic pair of propositions except for the genotypes to the right of the conditioning bar in the conditional genotype probabilities. The denominator of the LR for the generic pair of propositions in this section is:

$\mathrm{den}=\sum _x\sum _w\prod _i^{n_{\mathrm{Loci}}}\sum _{g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)}}f\left(c_{ℒ\left(i\right)}g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)},w,x\right)p\left(g_{U_1,ℒ\left(i\right)},g_{U_2,ℒ\left(i\right)}g_{1,ℒ\left(i\right)},g_{2,ℒ\left(i\right)}\right)p\left(w\right)p\left(x\right)$

where:

g1,L(i) and g2,L(i) are the genotypes of the known contributors K₁ and K₂ in locus i;

gU₁,L(i) and gU₂,L(i) are the genotypes for locus i of the unknown contributors.

The second factor is computed as:

p(g_U1,L(i),g_U2,L(i)|g_1,L(i),g_2,L(i))=p(g_U1,L(i)|g_1,L(i),g_2,L(i),g_U2,L(i))p(g_U2,L(i)|g_1,L(i),g_2,L(i))

The factors in the right-hand-side of the equation are computed using the model of Balding and Nichols cited above.

4.2—Density Value for Crime Profile Given Two Putative Donors

The terms in the calculations above are put together using per locus conditional genotype probabilities and density values of per locus crime profiles given putative per locus genotypes of two contributors. The conditional genotype probabilities are calculated using the model of Balding and Nichols cited above. In this section we focus on the density values of per locus crime profiles.

For the sake of clarity and brevity of explanation, the method for calculating the density value ƒ(cL(i)|g1,L(i),g2,L(i),w,x) is explained through an example.

EXAMPLE

The genotypes and crime profiles are:

g_1,L(i)={16,17}

g_2,L(i)={18,20}

c_L(i)={h_*,15,h_*,16,h_*,17,h_*,18,h_8,19,h_*,20}.

We first obtain an intermediate probability density function (PDF) defined as the product of the factors:

1. ƒ(h_1,15,h_1,16,h_1,17|g_1,L(i)={16,17},w×x)

2. ƒ(h_2,17,h_2,18,h_2,19|g_2,L(i)={18,28},(1−w)×x)

3. δ_S(h₁₇|h_1,17,h_2,17)

The first factor has been already defined as a PDF for a single contributor: in this case the donor is g1,L(i)={16,17} and DNA quantity w×x. The second factor has also being defined as a PDF for a single contributor: the donor in this case is g2,L(i)={18,28} and DNA quantity (1−w)×x. The third factor is a degenerated PDF defined by: δ_S(h₁₇|h_1,17, h_2,17)=1 if h₁₇=h_1,17+h_2,17 and zero otherwise. The intermediate PDF is denoted by ƒ(h_1,15,h_1,16,h_1,17,h₁₇,h_2,17,h_2,18,h_2,19. The required density value is obtained by integration: ƒ(h_*,15,h_*,16,h_*,17,h_*,18,h_*,19)=∫ƒ(h_*,15,h_*,16,h_1,17,h_*,17,h_2,17,h_*,18,h_*,19)dh_1,17dh_2,17 where ƒ(h_*,15,h_*,16,h_*,17,h_*,18,h_*,19)=ƒ(c_L(i)|g_1,L(i),g_2,L(i),w,x) in this example.

Notice that h_1,15 has been replaced by the observed height in the crime profile h_*,15. This is because h_1,15 represents a generic variable and h_*,15 represent an observed height. (For example, cosine(y) represents a generic function but cosine(π) represent the evaluation of the function cosine for the value π). Notice as well that the height h*,15 is only explained by the stutter of allele 16.

In contrast, h_1,17 and h_2,17 are not replaced by h_*,17 because h_*,17 is form as the sum of h_1,17 and h_2,17. We do not know the observed values but only the sum of them. (If we observe number 10 and we are told that it is the sum of two numbers, there are many possibilities for the two numbers: 1 and 9, 2 and 8, 1.1 and 8.9, etc.). The integration considers all of the possible h_1,17 and h_2,17. The variable that take these values is known as a hidden, latent or unobserved variable.

The integration can be achieved using any type of integration, including, but not limited to, Monte Carlo integration, and numerical integration. The preferred method is adaptive numerical integration in one dimension in this example, and in several dimensions in general.

The general methods is to generate an intermediate PDF using the PDF of the contributor and by introducing δ_s PDFs for the height pairs that fall in the same position. There can be cases when more than one pair of heights fall in the same position. For example if g1,L(i)={16,17} and g2,L(i)={16,17}, then there are three pairs of heights falling in the same position: one in position 15, another in position 16 and the third in position 17.

If one of the observed heights is below the limit-of-detection threshold T_d, we need to perform further integration to consider all values. For example if h{*,15} is reported as below the limit-of-detection threshold T_d and all other heights are greater than the limit-of-detection threshold, the PDF value that we are interested become a likelihood given by:

ƒ(h_*,15<T_d,h_*,16,h_*,17,h_*,18,h_*19)=∫_h*,15<Tdƒ(h₁₅,h_*,16,h_*,17,h_*,18,h_*,19)dh₁₅

The integral consider all the possibilities for h₁₅. In general we need to perform an integration for each height that is smaller than T_d. Any method for calculating the integral can be used. The preferred method is adaptive numerical integration.

5 DETAILED DESCRIPTION

Intelligence Uses

5.1—Use in Intelligence Applications

In an intelligence context, a different issue is under consideration to that approached in an evidential context. The intelligence context seeks to find links between a DNA profile from a crime scene sample and profiles stored in a database, such as The National DNA Database® which is used in the UK. The process is interested in the genotype given the collected profile.

Thus in this context, the process starts with a crime profile c, with the crime profile consisting of a set of crime profiles, where each member of the set is the crime profile of a particular locus. The method is interested in proposing, as its output, a list of suspect's profiles from the database. Ideally, the method also provides a posterior probability (to observing the crime profile) for each suspect's profile. This allows the list of suspect's profiles to be ranked such that the first profile in the list is the genotype of the most likely donor.

Where the profile is from a single source, a single suspect's profile and posterior probability is generated.

Where the profile is from two sources, a pair of suspect profiles and a posterior probability are generated.

5.2—Intelligence Application—Single Profile

As described above, the process starts with a crime profile c, with the crime profile consisting of a set of crime profiles, where each member of the set is the crime profile of a particular locus. The method is interested in proposing a list of single suspect profiles from the database, together with a posterior probability for that profile. This task is usually done by proposing a list of genotypes {g₁, g₂, . . . , g_m} which are then ranked according the posterior probability of the genotype given the crime profile.

The list of genotypes is generated from the crime scene c. For example if c={h₁,h₂}, where both h₁ and h₂ are greater than the dropout threshold, t_d, then the potential donor genotype is generated according to the scenarios described previously. Thus, if the peaks are not adjoining, then the lower size peak is not a possible stutter and g={1,2}. If the peaks are adjoining, then g={1, 2} and g={stutter2, 2} are possible, and so on.

The quantity to be computed is the posterior probability, p(g₁|c), for all possible genotypes across the profile, g_i. This quantity can be defined as:

$p\left(g_ic\right)=\frac{f\left(cg_i\right)p\left(g_i\right)}{\sum _{g_j}f\left(cg_j\right)p\left(g_j\right)}$

where p(g_i) is a prior distribution for genotype g_i, preferably computed from the population in question.

The likelihood ƒ(c|g) can be computed using the approach of section 3.2 above, but with the modification of replacing the suspect's genotype by one of the generated g_i.

Thus the computation uses:

$L_p=\sum _{{\chi }_i}L_{p,L\left(1\right)}\left({\chi }_i\right)\times L_{p,L\left(2\right)}\left({\chi }_i\right)\times L_{p,L\left(3\right)}\left({\chi }_i\right)\times p\left({\chi }_i\right)$

Where L_p,L(j)(χ_i) is the likelihood for locus j conditional on DNA quantity, this assumes the abstracted form:

$L_{p,L\left(j\right)}\left(\chi \right)=f\left(c_{L\left(j\right)}g_{s,L\left(j\right)},V_p,{\chi }_j\right)$ $\mathrm{or}\text{:}$ $L_{p,L\left(j\right)}\left(\chi \right)=f\left(c_{L\left(j\right)}g_{h\left(j\right)},V,{\chi }_j\right).\mathrm{or}\text{:}$ $\sum _{{\chi }_i}\left[\prod _j^{n\mathrm{loci}}f\left(c_{h\left(j\right)}g_{s,L\left(j\right)},V_p,{\chi }_i\right)\right]p\left({\chi }_i\right)$

The prior probability p (g_i|c) is computed as:

p(g_i)=Π_k=1^nlocip(g_i,L(k))

Each factor in this product can be computed using the following approach.

The approach inputs are:

g—a genotype;

AlleleList—a list of observed alleles—this may include allele repetitions, such as {15,16;15,16};

locus—an identifier for the locus;

theta—a co-ancestry or inbreeding coefficient—a real number in the interval [0,1];

eaGroup—ethnic appearance group—an identifier for the ethnic group appearance, which can change from country to country;

alleleCountArray—an array of integers containing counts corresponding to a list of alleles and loci.

The approach outputs are:

Prob—a probability—a real number with interval [0,1].

The algorithmical description becomes:

• • a) if g is a heterozygote, then multiply by 2;
  • b) N=length(g)+length(allelelist);
  • c) den=[1+(N−2)θ][1+(N−3)θ];
  • d) n₁ is the number of times that the first allele g(1) is present in allelelist∪ g(2);
  • e) n₂ is the number of times that the second allele g(2) is present in the list alleleList.
  • f) num=[(n₁−1)θ+(1−θ)*p₁][(n₂−1)θ+(1−θ)*p₂] where p₁ is the probability of allele g(1) and p₂ is the probability of allele g(2).

5.3—Intelligence Application—Mixed Profile

In the mixed profile case, the task is to propose an ordered list of pairs of genotypes g₁ and g₂ per locus (so that the first pair in the list are the most likely donors of the crime stain) for a two source mixture; an ordered list of triplets of genotypes per locus for three source sample, and so on.

The starting point is the crime stain profile c. From this, an exhaustive list {g_1,i,g_2,i} of pairs of potential donors are generated. The potential donor pair genotypes are generated according to the scenarios described previously taking into account possible stutter etc.

For each of theses pairs, a probability distribution for the genotypes is calculated using the formula:

$p\left(g_1,g_2c\right)=\frac{f\left(cg_1,g_2\right)p\left(g_1,g_2\right)}{\sum _{\mathrm{gi},\mathrm{gj}}f\left(cg_i,g_j\right)p\left(g_i,g_j\right)}$

where p(g₁,g₂) and/or p(g_i,g_j) are a prior distribution for the pair of genotypes inside the brackets that can be set to a uniform distribution or computed using the formulae introduced by Balding et al.

In practice, there is no need to compute the denominator as the computation extends to all possible genotypes. The term can be normalised later. As described above for evidential uses, for instance, the core term is the calculation of the likelihood ƒ(c|g₁,g₂). This can be computed according to the formula:

$f\left(cg_1,g_2\right)=\sum _x\sum _w\prod _i^{n_{\mathrm{loci}}}f\left(c_{L\left(i\right)}g_{1,L\left(i\right)},g_{2,L\left(i\right)}\right)p\left(w\right)p\left(x\right)$

where the term:

$p\left(g_1,g_2\right)=\prod _i^{n_{\mathrm{loci}}}p\left(g_{1,L\left(i\right)}g_{2,L\left(i\right)}\right)p\left(g_{1,L\left(i\right)}\right)$

Each factor in this product can be computed using the approach described in section 5.2 above.

6 EXTENSION TO INCLUDE VARIABLE PEAK HEIGHT IMPACT EFFECTS IN THE MODEL

6.1—Background

In practice, there are a variety of effects which impact upon the way in which different allele sizes and/or different loci sizes are observed in the results.

For instance, degradation of DNA samples occurs with time due to various factors. When the effect occurs it impacts by resulting in a reduction in the observed peak height of an allele as the degraded DNA does not contribute to that peak (or any of the peaks) within the analysis. However, the impact of degradation is not consistent across all loci. Higher molecular weight loci are subjected to greater levels of degradation than lower molecular weight loci within a sample.

Another instance of an effect having a variable impact is variations in amplification efficiency within and/or between loci. Lower amplification efficiency effects will impact in terms of lower peaks for the quantity of DNA present than is the case for higher amplification efficiency effects.

Another instance is sampling effects, where because the number of molecules of DNA forming the starting point for amplification is small, any variation in the number of molecules when the sub-samples of the DNA sample are generated will have a material effect on the peak heights.

In general, the effect can be considered as any effect which has the impact of causing peak imbalance in the results.

6.2—Experimental Determination of the Information

In the technique which follows, there is a need to have available information on the mean height of an allele for a locus and the variance thereof.

This information could be generated by a model of the results observed for various alleles under various conditions. In this instance, however, experimentally derived information is used.

6.2.1—Profile Generation

A total of 865 profiles were produced from 15 volunteers who donated three buccal scrapes (using Whatman®OmniSwab™). Nineteen DNA templates were targeted through a dilution series from 50 to 500 picograms per microlitre (pg/μl) in increments of 25 pg/μl, covering a template range where allelic dropout is possible. To cover current protocols used in the FSS, three combination of amplification and detection were selected that represent current of casework samples: (a) Tetrad and 3100; (b) Tetrad and 3130×1 and (c) 9700 and 3130×1. The protocol used is now described.

6.2.2—Extraction

The serrated collection area of each swab was deposited into a micro test tube (Eppendorf Biopur Safe-Lock, 1.5 μl, individually sealed). DNA was purified from the buccal scrapes using a Qiagen EZ1 and the EZ1 DNA tissue kit. Each donor's three purified DNA samples were hen pooled into a single sample to ensure that a sufficient volume of high concentration DNA was available.

6.2.3—Dilution Series

The DNA in each pooled sample was measured in duplicate using the 7500 Real Time PCR System (Applied Biosystems) and the Quantifiler Human DNA Quantification kit (Applied Biosystems). Each pooled extract was first used to create stock volumes of 100 pg/l, 250 pg/l and 500 pg/l. The stock volumes were then used to generate diluted volumes such that the addition of 101 to the amplification reaction will provide each of the 19 target template levels in the dilution series.

6.2.4—Amplification

Amplification was performed for each donor at each template level using the AmpFSTR SGM Plus PCR Amplification Kit (Applied Biosystems) on theremocycler MJ Research PTC-225 Tetrad. A reaction volume of 25 1 was used for each amplification. Protocols that use a reaction volume of 25 1 have been tested in the FSS and they produce comparable profiles to protocols that use 50 1.

6.2.5—Detection

Two genetic analyzers were used: (1) the 3100 Genetic Analyzer (Applied Biosystems) using POP4™ (Applied Biosystems) and injection parameters of 1 kV for 22 seconds. (2) the 3130×1 Genetic analyzer using injection parameters of 1.5 kv for 10 seconds and 3 kv for 10 seconds.

6.2.6—Interpretation

Analysis and genotyping of the run files was carried out using GeneMapper® ID v3.2 (Applied Biosystems). A series of peak positions and heights were thus obtained for the allele or alleles present at each locus for each sample.

6.2.7—Data Generation

6.2.7.1—Allele Mean v Quantity Distribution Fitting

All the heights within a profile were added together (except the Amelogenin height) to give the χ value; DNA quantity. The sum of the heights χ_l(i) in locus l(i) was then computed from the same basic data and the mean height of allele obtained. This information formed the data points for a plot of mean peak height against DNA quantity×scaling factor. In the case of the FIG. 11a illustration, mean peak height is plotted against DNA quantity×10 (as a scaling factor).

A linear Gamma distribution (the line shown) is then fitted to these points. The allele mean for locus l(i), denoted by μ_a,l(i) is modelled with a regression line through the origin: μ_a,l(i)=κ_1,a,l(i)×χ where κ_1,a,l(i) is the amplified DNA proxy χ, by summing all peak heights above the limit of detection threshold T_d=30 rfu in the profile, except for Amelogenin.

6.2.7.2—Stutter Mean v Quantity Distribution Fitting

In a similar manner, a plot of mean stutter peak height against DNA quantity x scaling factor can be obtained. The stutter mean model for locus l(i), denoted by μ_s,l(i) is also modelled with a regression line through the origin: μ_s,l(i)=κ_1,s,l(i)×χ

6.2.7.3—Allele Variance Distribution Fitting

In the next step of the data generation, the approach goes on to consider the variances for the alleles based upon the expected mean and the observed means. By plotting variance against the mean height, a plot of the type shown in FIG. 11b can be obtained.

Again a Gamma distribution can be fitted to it; in this case two different distributions are fitted to the two different sections, with a knot joining them. The allele variance is modelled with two quadratic polynomials joined in a chosen knot. A knot is chosen through experimenting with several candidates and selecting candidates that give a good fit. The result is stated as, if μ≦knot:

σ²=κ_2,1,l(i)×μ+κ_3,1,l(i)×μ²

μ>knot,

σ²=κ_2,2,l(i)×μ+κ_3,2l(i)×μ²

The allele variance model is used for stutter because stutter heights are smaller than allele heights and are more affected by the censoring of 30 rfu. Peak heights of alleles and stutters are assumed to follow a Gamma distribution where the parameters α and β are calculated from the mean and variance specified above.

6.2.7.4—Examples for Loci

The process is repeated for all the loci of interest.

In FIGS. 12a and 12b the allele and stutter results are shown for the D3 locus. FIGS. 13a and 13b show the allele and stutter results for the vWA locus. FIGS. 14a and 14b show the allele and stutter results for the D16 locus. FIGS. 15a and 15b show the allele and stutter results for the D2 locus. FIGS. 16a and 16b show the allele and stutter results for Amelogen. FIGS. 17a and 17b show the allele and stutter results for the D8 locus. FIGS. 18a and 18b show the allele and stutter results for the D21 locus. FIGS. 19a and 19b show the allele and stutter results for the D18 locus. FIGS. 20a and 20b show the allele and stutter results for the D19 locus. FIGS. 21a and 21b show the allele and stutter results for the THO locus. FIGS. 22a and 22b show the allele and stutter results for the FGA locus.

6.2.7.5—Equivalent β Values

In the next step, the approach provides for the system preference for the β values for the Gamma distributions to be the same, and hence the requirement for a linear relationship: σ²=k₂×μ. Hence:

$\beta =\frac{\mu }{{\sigma }^2}=\frac{\mu }{k_2·\mu }=\frac{1}{k^2}$

As a single estimate of k₂ is required for all μ's, if for example, there are three peaks with means μ₁=200, μ₂=400 and μ₃=600 600, the model of FIG. 11b can be used to give the variance values, σ₁²,σ₂² and σ₃². A least-squares line is then estimated for these points, FIG. 11c and the k₂ slope is obtained as a result.

6.2.8—Estimate of the Allele Model

The EM algorithm is used to estimate the parameters of the mean and variance models. The values of the parameters in iteration m is denoted by:

κ_1,a,l(i)[m],κ_2,1,l(i)[m],κ_3,1,l(i)[m],κ_2,2,l(i)[m],κ_3,2l(i)[m],

In the first iteration we ignore zeros, i.e. heights smaller than T_d=30. From the second iteration onwards, the zeros are replaced by samples obtained from the tail of the Gamma pdf's estimated in the previous step. More specifically,

• 1. Parameter k_1,a,l(i)[1] is estimated using standard linear regression methods where the response variable are non-zero allele heights and the covariate is the corresponding χ.
• 2. Parameters k_2,1,l(i)[1], k_3,1,l(i)[1], k_2,2,l(i)[1], k_3,2,l(i)[1] are estimated by using the estimated mean μ_a,l(i) as the mean and computing the variance of the heights around these mean according to a window size.
• 3. In iteration m, zeros are replaced by samples taken from the family of Gamma distribution estimated in the previous iteration. In more detail, for a zero corresponding to χ, we first obtain a μ_a,l(i)[m−1] from χ and σ_a,l(i)²[m−1] from μ_a,l(i)[m−1]. Parameter α[m−1] and β[m−1] can be computed from μ_a,l(i)[m−1] and σ_a,l(i)²[m−1]. A sample is then taken in the interval (0, 30) from the tail of the distribution using the CDF inverse method using uniform samples in the interval (0, F(30, α[m−1], β[m−1])) where F is the CDF of a Gamma distribution.
• 4. Parameter k_1,a,l(i)[m] is also estimated using standard linear regression methods where the response variable are allele heights and the covariate are the corresponding χ's. Zeros are replaced using the method described above.
• 5. Parameters k_2,1,l,(i)[m], k_3,1,l(i)[m], k_2,2,L(i)[m], k_3,2,l(i)[m] are estimated by using the estimated mean μ_a,l(i)[m] as the mean and computing the variance of the heights around these mean according to a window size.
• 6. The process is repeated until the parameters converge according to the rules:
  • (a) |k_1a,l(i)[m]−k_1,a,l(i)[m−1]|<0.0001;
  • (b) |k_2,a,l(i)[m]−k_2,a,l(i)[m−1]|<0.01; and
  • (c) |k_3,a,l(i)[m]−k_3,a,l(i)[m−1]|<0.001.

6.2.9—Estimation of the Stutter Model

The same methodology is used for estimating the parameters of the stutter model except that we have more zeros: stutter peaks are much smaller than allele peaks. To alleviate the extra variability introduced by the zeros we use the variance model for the allele and iterate only for the stutter mean.

6.2.10—Variances for Means Exceeding the Maximum

If an χ is larger than the one support by the data, we use the regression line to extrapolate a value for the allele and stutter means. Extrapolation of the variance is a more involved process.

The profiles provide estimates for variances up to a maximum value for the mean value denoted by μ_max. To extrapolate the variances we use the coefficient of variation, denoted here by ν, i.e the standard deviation divided by the mean (ν=σ/μ). The coefficient of variation decreases as the mean increases, however, its rate of reduction also decreases. FIGS. 12d to 22d show the coefficient of variation for each locus. We therefore use the last value of the coefficient of variation, denoted by ν_max. For a given mean μ larger than μ_max, we can compute the variance as: σ²=(ν_max×μ)².

6.3—Single Source Profiles

Having established the background information needed, the manner in which the approach is implemented for a variety of sample situations can be discussed, starting with samples from a single source.

6.3.1 Evidential Uses

As mentioned above, in the context of evidential uses, there is consideration of the term:

$\mathrm{LR}=\frac{f\left(cg_s,V_p\right)}{f\left(cg_s,V_d\right)}$

with the crime profile c in a case consists of a set of crime profiles, where each member of the set is the crime profile of a particular locus. Similarly, the suspect genotype g_s is a set where each member is the genotype of the suspect for a particular locus. As a result, the notation used was:

c={c _L(i) :i=, 2, . . . , n_i} and g_s={g_s,L(i):=1, 2, . . . , n_i}

where n_i is the number of loci in the profile.

As a result, this provides for the height of the crime scene profile at the locus being considered, but then being summed together with the heights of all the loci. The sum was used in the subsequent considerations and the heights at the individual loci were not made any further use of.

However, as mentioned in section 6.1, peak imbalance effects (such as degradation effects) are locus and even allele dependent in the occurrence and extent. For example, locus vWA undergoes greater extents of degradation than locus D3 in the same sample.

In accounting for peak imbalance, therefore, the model moves to condition on the sum per locus; χ_l(i), the sum of peak heights in a locus. In effect, this considers the Bayesian Network shown in FIG. 10 which represents the position for two of the loci L under consideration.

6.3.1.1—Numerator

On this basis, the denominator in the LR can be expressed as:

$\mathrm{Num}=f\left(cg_s,H_p\right)=\prod _{i=T}^{n_i}f\left(C_{l\left(i\right)}g_{s,l\left(i\right)},H_P\right){\chi }_{I\left(i\right)},\delta )$

where the peak heights are summed for loci i and 8 is a parameter, peak imbalance parameter or EAQ, that takes into account effects within a locus (and which is discussed further in section 6.5.

The right-hand side factor of the above equation, ƒ(C_L(i)|g_s,l(i),H_p,χ_l(i),δ) can be written as:

ƒ(C_l(i)|g_l(i),χ_l(i),δ)

where it is assumed that g_l(i) is the genotype of the donor of C_l(i) (the donor varying according to the prosecution hypothesis and the defense hypothesis). This is a core pdf in the considerations made by the invention and is discussed further below.

6.3.1.2—Denominator

The denominator can be expressed as:

$\mathrm{Den}=f\left(cg_s,H_d\right)=\prod _{i=T}^{n_l}f\left(C_{l\left(i\right)}g_{s,l\left(i\right)},H_d,{\chi }_{l\left(i\right)},\delta \right)$

The right-hand side factor of the above equation, ƒ(C_l(i)|g_s,l(i),H_d,χ_l(i),δ) can be written as:

$f\left(C_{l\left(i\right)}g_{s,l\left(i\right)},{\chi }_{l\left(i\right)},H_d,\delta \right)=\sum _if\left(C_{l\left(i\right)}g_{u\left(i\right)},{\chi }_{l\left(i\right)},H_d,\delta ,g_{u,l\left(i\right)}\right)\mathrm{Pr}\left(g_{u,l\left(i\right)}g_{s,l\left(i\right)}\right)$

where the function ƒ(C_l(i)|g_u(i),χ_l(i),H_d,δ,g_u,l(i)) can be written as:

ƒ(C_l(i)|g_l(i),χ_l(i),δ)

where we assume that g_l(i) is the genotype of the donor of C_l(i). This is a pdf of the same form as referenced above as core to the invention.

Once again, the right-hand term is a conditional genotype probability. This can be computed using existing formula for conditional genotype probabilities given putative related and unrelated contributors with population structure or not, for instance using the approach defined in J.D. Balding and R. Nichols. DNA profile match probability calculation: How to allow for population stratification, relatedness, database selection and single bands. Forensic Science International, 64:125-140, 1994.

6.3.2—Intelligence Uses

In this use, the task is to compute posterior probabilities of the genotype given the crime profile for locus i. Given the crime stain, quantity of DNA and peak imbalance/EQA parameter, the use assigns probabilities to the genotypes which could be behind it. The term χ_l(i) denotes the sum of peak heights in locus i bigger than reporting threshold T_r. The term δ denotes the EAQ factor, described in below.

The posterior genotype probability for g*_U,l(i) given, C_l(i), x_l(i) and δ is calculated using Bayes theorem:

$p\left(g_{U,l\left(i\right)}^{*}C_{l\left(l\right)},{\chi }_{i\left(i\right)},\delta \right)=\frac{f\left(c_{l\left(i\right)}g_{U,l\left(i\right)}^{*},{\chi }_{i\left(i\right)},\delta \right)p\left(g_{U,l\left(i\right)}^{*}\right)}{\sum _{g_{U,l\left(i\right)}}f\left(c_ig_{U,l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)p\left(g_{U,l\left(i\right)}\right)}$

where p(g_U,l(i)) is the probability of genotype g_U,l(i) prior to observing the crime profile. In this version of the method we chose to set a uniform prior to all genotypes so that only the effect of the crime profile is considered. The formula above is simplified to:

$p\left(g_{U,l\left(i\right)}^{*}C_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)=\frac{f\left(c_{l\left(i\right)}g_{U,l\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta \right)}{\sum _{g_{U,l\left(i\right)}}f\left(c_ig_{U,l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)}$

As above in the evidential uses, both numerator and denominator can be presented in a form based around the core pdf:

ƒ(C_l(i)|g_l(i),χ_l(i),δ)

where we assume that g_l(i) is the genotype of the donor of C_l(i).

In this use, it is not necessary to compute all possible genotypes in a locus: most of the probabilities would be zero. Instead we generate genotypes that may lead to a non-zero posterior probability. Starting with the crime profile C_l(i) in this locus, peaks are designated either as a stutter or alleles. The set of designated alleles is used for generating the possible genotypes. There are only three possibilities:

• 1. No peaks bigger than reporting threshold T_r. No genotype is generated as there is no peak height information to inform them.
• 2. One peak bigger than T_r as allele, denoted by a. The possible genotypes are {a,a} and {a, Q} where Q denotes any allele other than a.
• 3. Two peaks bigger than T_r designated as alleles, denoted by a and b. In this case the only possible genotype is {a,b}.6.3.3—The function ƒ(C_l(i)|g_l(i),χ_l(i),δ)

In the above sections, the pdf: ƒ(C_l(i)|g_l(i),χ_l(i),δ) is explained as important to the calculation of the likelihood ratio, LR in each case.

In this first consideration, we consider the position where allele dropout is not involved given the suspect's genotype.

In a second consideration, below, we consider the position where allele dropout is involved given the suspect's genotype.

6.3.3.1—First Consideration

The first consideration opens with those cases where all the expected peaks given the genotype, including any stutter peaks present, are above the detection threshold limit T. The genotype is denoted as: g_l(i)={a_1,l(i),a_2,l(i)} where the alleles a may be the same (homozygous) or different (heterozygous) in that locus, i. The pdf is constructed in seven steps.

• Step 1 The peak-height sum is denoted by χ_l(i). Let's denote the corresponding means for the peak heights of the alleles and the stutters of the putative donor g_l(i) by μ_a,1,l(i) and P_s,1,l(i)) respectively. They are a by, function of χ_l(i) and obtained as described elsewhere. For each allele a of the donor, we assign the allele mean μ_a,1,l(i) to the position of allele a, and the stutter mean μ_s,1,l(i) to a position a−1. If the donor is homozygote, we do the assignment twice.
• Step 2 If the donor is a heterozygote, the means are modified using the EAQ factor δ to take into account factors, such as PCR efficiency and degradation, that affect the resulting peak heights. For example, if the donor is a heterozygote in locus l(i) the mean for his/her alleles and stutters are: δ₁×μ_a,1,l(i) and δ₁×μ_s,1,l(i) for the low-molecular-weight allele and δ₂×μ_a,1,l(i) and δ₂×μ_s,1,l(i) for the high-molecular-weight allele. We give a detailed description of the method for calculating δ₁ and δ₂ elsewhere.
• Step 4 The variances for each allele and stutter are obtained as a function of their corresponding means and obtained using the method described above. In alter step we need to add random Gamma variables. A condition for a close form calculation of this addition is that the β-parameters are the same. Also in a later step, we divide each Gamma by the overall sum of peak height to account for using the sum of peak heights in this locus. A closed form calculation can be done if all β parameters are the same. The conditioned on the β-parameters can be obtained by estimating a line between the points form by the means, in the x-axis, and the variances, in the y-axis. A regression line with zero intercept is fitted to obtain:

{circumflex over (σ)}²=κ₂×μ

So, if peak i has mean and variance (μ_i,σ_l²),

β=μ_i/σ_i²=μ_i/(κ₂×μ_i)=1/κ₂

• • regardless of the value of μ_i.
• Step 5 The shape (α) and rate (β) parameters are obtained from the mean and the variances.
• Step 6 The alpha parameters for alleles and stutters in the same allele position are added to obtain an overall a for that allele position. Now we have the parameters of a Gamma distribution for each allele position.
• Step 7 To account for using the sum of peak height in the locus, the collection of Gamma pdf's whose peak heights are above the peak-height reporting limit are converted to a Dirichlet pdf. This is achieved in closed form because all β's are the same. The resulting Dirichlet pdf inherit the a parameters of the Gammas.

6.3.3.2 Second Consideration

In the second consideration, allele dropout is invoked given the suspects genotype, the consideration has to reflect one or more of the heights in the profile being below the threshold T. In such a case, the peak which is below the threshold does not form part of the value of χ_l(i) and the correction is only applied to those peaks above the threshold.

For example, in the case of a non-adjacent heterozygous alleles case, when h_s,1,l(i)<T then the PDF is given by:

ƒ(h_s,1,l(i)<T,h_a,1,l(i),h_s,2,l(i),h_a,2,l(i)|g_l(i)={a_1,l(i),a_2,l(i)},χ_l(i),δ)

which can be expressed as:

F(T|a_s,1,l(i),β)ƒ_Dir(π_a,1,l(i),π_s,2,l(i),π_a,2,l(i),|α_a,1,l(i),α_s,2,l(i),α_a,2,l(i),)

where F is the cdf of a gamma distribution with parameters α_s,1,l(i) and β.

If there is more than one peak below the threshold T, then there will be a corresponding number of f.

The approach for the second consideration is closely based on the approach for the first consideration, together with these revisions.

6.3.3.3—Example—One Allele

In this case, the donor is homozygous. Hence, the term α_a,1,l(i) is deployed twice for the allele and the term α_s,1,l(i) is deployed twice for the stutter (if present). The probability density for c_l(i) is given by multiplying two Gamma pdf's. The first has parameters 2α_s,1,l(i) and β, and the second has parameters 2α_a,1,l(i) and β.

Thereby giving the expression:

ƒ(h_s,1,l(i),h_a,1,l(i)|g_l(i)={a_1,l(i),a_2,l(i)},χ_l(i),δ)

which can be expressed as:

ƒ(h_s,1,l(i)|2α_s,1,l(i),β)ƒ(h_a,1,l(i)|α_a,1,l(i),β)

In the next step, the effect of conditioning on the sum of heights χ_l(i) is removed. Because the sum of the height is known, the contribution of the heights is only made through their contribution to the sum. So the PDF is replaced with:

ƒ(h_s,1,l(i),h_a,1,l(i)|g_l(i){a_1,l(i),a_a,1,l(i)},χ_l(i),δ=ƒ_Dir(π_s,1,l(i),π_a,1,l(i)|2α_s,1,l(i)2α_a,1,l(i))

where π_s,1,l(i)=h_s,1,l(i)|g_l(i) and π_a,1,l(i)=h_a,1,l(i)|g_l(i) and ƒ_Dir is a Dirichlet pdf.

6.3.3.4—Example—Two Alleles—Non-Adjacent Positions

In this case, the donor is heterozygous and their alleles for this locus are not in adjacent positions. For instance, the alleles might be 16, 18.

In this case, four α's are deployed, with those being α_s,1,l(i),α_a,1,l(i),α_s,2,l(i) and α_a,2,l(i). The probability density for c_l(i) is given by multiplying four Gamma pdf's. The α parameters are given by α_s,1,l(i),α_a,1,l(i),α_s,2,l(i) and α_a,2,l(i), with a single β. Thereby giving the expression:

ƒ(h_s,1,l(i),h_a,1,l(i),h_s,2,l(i),h_a,2,l(i)|g_l(i)={a_1,l(i),a_2,l(i)},χ_l(i),δ)

which can be expressed as:

ƒ(h_s,1,l(i),|α_s,1,l(i),β)ƒ(h_a,1,l(i),|α_a,1,l(i),β)ƒh_s,2,l(i),|α_s,2,l(i),β)ƒ(h_a,2,l(i),|α_a,2,l(i),β)

Once again, the conditioning on χ_l(i) is removed, to obtain:

=ƒ_Dir(π_s,1,l(i),π_a,1,l(i),π_s,2,l(i),π_a,2,l(i)|α_s,1,l(i),α_a,1,l(i),α_s,2,l(i),α_a,2,l(i))

where the π's are the ratios of their respective h's divided by χ_l(i).

6.3.3.5—Example—Two Alleles—Adjacent Positions

In this case, the donor is heterozygous and their alleles for this locus are in adjacent positions. For instance, the alleles might be 16, 17. Because of their positions, the stutter for allele 2 is in the same position as allele 1.

In this case four a's are deployed, with those being α_s,1,l(i),α_a,1,l(i),α_s,2,l(i) and α_a,2,l(i). The probability density for c_l(i)={h_s,1,l(i),h_a,1,l(i),h_a,2,l(i)} is given by multiplying the Gamma pdf's having a parameters given by α_s,1,l(i),α_a,1,l(i)+α_s,2,l(i) and α_a,2,l(i), with a single β.

Taking the approach outlined above, and after having accounted for the conditioning on χ_l(i) the expression gives:

ƒ(h_s,1,l(i),h_a,1,l(i),h_a,2,l(i)|g_l(i)={a_1,l(i),a_2,l(i)},χ_l(i),δ)

and hence:

=ƒ_Dir(π_s,1,l(i),π_a,1,l(i),π_a,2,l(i)|α_s,1,l(i),α_a,1,l(i)+α_s,2,l(i),α_a,2,l(i)).

6.3.4—Use of the Approach

Given a putative genotype, the peaks in the crime profile are either bigger or smaller than the reporting threshold T_r, or not present at all. We treat missing peaks and peaks smaller than T_r as peak that has dropped out. We partition the crime profile for a given pair of genotype as:

c _l(i) ={h:hεc _l(i) ,h<T _r }∪{h:hεc _l(i) ,h≧T _r}

The resulting pdf is given by:

$f\left(c_{l\left(i\right)}g_{1,l\left(i\right)},g_{2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega \right)=f\left(\pi \alpha \right)x\prod _{\left\{h:h\in c_{l\left(i\right)},h<T_r\right\}}F\left(T{\alpha }_h,{\beta }_h\right)$

ƒ(π|α) is a Dirichlet pdf with parameters:

α=∪{α_h:hεc_l(i),h≧T_r} and

π=∪{h/χ_l(i)^l:hεc_l(i),h≧T_r}

where α_h is the alpha parameter of the associated Gamma pdf in the corresponding position of height h.

• • χ_l(i)^l=Σ_{hεcl(i),h≧Tr}h is the sum of peak heights bigger than reporting threshold T_r.F(T_r|α_hβ_h) is the CDF of a Gamma distribution with parameters α_h and β_h for the peak in the position of h calculated as described above.

6.4—Peak Balance Parameter Model

6.4.1—Overview

As mentioned above, the approach uses a peak imbalance parameter/effective amplified quantity (EQE) parameter, δ, in the form of a set of δ's, such that there is one for each of the alleles. Each of the peak imbalance parameters in the set can be used to adjust the means for the alleles.

The approach models degradation and other peak imbalance effects prior to any knowledge of the suspect's genotype. For each locus, the molecular weight of the peaks in the profile is associated with the sum of the heights. So as the molecular weight of the locus increase, a reduction in the sum of the peak heights is estimated.

6.4.2—Details

Following this approach, for locus l(i), there are a set of peak heights: h_l(i)={h_j,l(i):j=1, . . . , n_l(i)}. Each height has an associated base pair count: b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. An average base pair count is used as a measure of molecular weight for the locus, weighted by peak heights This is defined as:

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}$ $\mathrm{where}$ ${\chi }_{l\left(i\right)}=\sum _{j=1}^{n_{l\left(i\right)}}h_{j,l\left(i\right)}$

and so the degradation model is defined as:

χ_l(i)=d₁+d₂b_l(i)

where d₁ and d₂ are the same for all loci.

The parameters d₁ and d₂ can be calculated using the least squared estimation. As some loci may behave differently to degradation etc, the sum of the peak heights for these loci are treated as outliers.

To deal with these outliers, a Jacknife method is used. There are n_L loci with peak height and base pair information. Hence, the approach:

1. fits a regression model n_L times, removing the i^th value of the sets {χ_l(i):i=1, . . . , n_L} and { b_l(i):i=1, . . . , n_L}.

2. uses the regression model to produce a prediction interval, {circumflex over (χ)}_l(i)=/−2σ where σ is the standard deviation of the residuals in the fitted regression line.

3. when the sum of the peak height χ_i, which is not used for the estimation of the regression line, does not lie within the prediction interval, then consider it as an outler.

4. removes any outliers from the data set and refits the model, after the n_L models have been produced. The values of d₁ and d₂ are extracted from the model estimated without outliers.

If the degradation etc in the profile is negligible. Peak height variability may cause the estimated value of d₂ to be greater than zero. In such cases, d₂ is set as 0 and d₁ as 1.

In the deployment of the degradation model, at locus l(i) there is a crime profile with peaks having allele designations α_j,l(i) and base pair counts b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. If degradation were not being accounted for, then given the sum of the peak heights χ_l(i) it is possible to obtain a mean and a variance from a Gamma distribution.

When considering degradation, the same Gamma distribution is used, but the degradation model is used to adapt the Gamma pdf to account for the molecular weight of the allele.

As previously mentioned, peak heights increase with the sum of peak heights χ_l(i) and therefore the mean and variance also increase accordingly. If an allele is of high molecular weight, a reduction of χ_l(i) results in a reduction in the mean and variance. The degradation model reduced or increases the χ_l(i) associated with an allele according to degradation by using an appropriate δ for that allele.

The appropriate δ's are calculated as follows using the degradation model χ_l(i)=d₁+d₂b_l(i).

The degradation parameter associated with alleles α_j,l(i) is defined as δ_j,l(i) so that the sum of peak heights associated with this allele are δ_j,l(i)·χ_l(i).

For each allele the model is used to estimate the associated peak height sum:

{circumflex over (χ)}_j,l(i)=d₁d₂b_j,l(i)

The calculations of δ are made such that the ratio of the estimated peak height sums are preserved; that is:

$\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}}=\frac{{\delta }_{j,l\left(i\right)}·{\chi }_{l\left(i\right)}}{{\delta }_{j+1,l\left(i\right)}·{\chi }_{l\left(i\right)}}$

To do this, a set of n_l(i)−1 equations with n_l(i) unknowns, are provided:

$\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}}=\frac{{\delta }_{j,l\left(i\right)}}{{\delta }_{j+1,l\left(i\right)}}$

The ratios on the left-hand side are obtained from the degradation model and the δ's are the unknown variables. A restriction is set, such that the average peak height sum in the locus remains the same after the application of the δ's, that is:

$\frac{\sum _{j=1}^{n_{l\left(i\right)}}{\delta }_{j,l\left(i\right)}·{\chi }_{l\left(i\right)}}{n_{l\left(i\right)}}={\chi }_{l\left(i\right)}$

which gives a further equation with the δ's as unknown quantities. This allows a solution to be found as there are n_l(i) equations in the system and n_l(i) unknowns.

The ratio of the estimated peak height sum is denoted:

$r_{j,l\left(i\right)}=\frac{\widehat{{\chi }_{j,l\left(i\right)}}}{\widehat{{\chi }_{j+1,l\left(i\right)}}},j=1,2\dots n_{l\left(i\right)}-1$ $r_{j,l\left(i\right)}=1,j=n_{l\left(i\right)}$

The degradation parameters δ's, are then given by:

${\delta }_{j,l\left(i\right)}=\frac{n_{l\left(i\right)}\prod _{k=j}^{n_{l\left(i\right)}}r_{k,l\left(i\right)}}{\sum _{k=1}^{n_{l\left(i\right)}}\prod _k^{n_{l\left(i\right)}}r_{k,l\left(i\right)}}$

The stutter associated with an allele, will have the same degradation parameter 6 as the allele because the starting DNA molecule is the same in each case.

6.4.3—Example

In FIG. 23, a table is shown which details profile information, DNA quantity for the loci and the weighted base pair count for the degraded profile observed.

From the linear model of degradation provided above, χ_l(i)=d₁+d₂b_l(i), this gives:

χ=3629.882−12.225b.

In FIG. 24, a plot of weighted base pair against DNA quantity per locus is provided, with the linear model overlaid. FIG. 25 shows in the table two examples of the degradation model as deployed.

6.5—Multiple Source Samples

Using the same background information provided above, and a similar approach to that taken on samples from a single source, it is possible to extend the approach to multiple source samples.

6.5.1 Evidential Uses

Applying the approach provided above for the single source samples, the numerator can be stated as:

$\mathrm{Num}=f\left(c|g_{U1},g_{U2s},H_p\right)=\prod _{i=T}^{n_l}f\left(c_{l\left(i\right)}|g_{U1,l\left(i\right)},g_{U2,l\left(i\right)},H_P,{\chi }_{l\left(i\right)},\delta \right)$

and the denominator as:

$\mathrm{Den}=f\left(c|g_{U1},g_{U2},H_d\right)=\prod _{i=T}^{n_l}f(C_{l\left(i\right)}|g_{U1,l\left(i\right)},g_{U2,l\left(i\right)},H_d,{\chi }_{l\left(i\right)},\delta )$

In both instances, the core pdf is of the type previously identified, namely:

ƒ(c_l(i)|g_U,1,l(i),g_U,2,l(i),χ_l(i),δ)

6.5.2 Intelligence Uses

The task is to compute the posterior probability p(g_U,1,l(i),g_U,2,l(i)|C_l(i),χ_l(i),δ) of pair of genotypes given the peak heights in the profile. This probability is computed using a Bayes theorem.

$p\left(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}|C_{I\left(i\right)},{\chi }_{I\left(i\right)},\delta \right)=\frac{f\left(c_{I\left(i\right)}|g_{U,1,I\left(i\right)}^{*},g_{U,2,I\left(i\right)}^{*},{\chi }_{l\left(i\right)},\delta \right)p\left(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}\right)}{\sum _{g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}}f\left(c_{l\left(i\right)}|g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)p\left(g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}\right)}$

We assume that the prior probability for the pair of genotypes is the same for any genotype combination in the locus, therefore the formula above simplifies to:

$p\left(g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*}|C_{l\left(i\right)},{\chi }_{I\left(i\right)},\delta \right)=\frac{f\left(c_{l\left(i\right)}|g_{U,1,l\left(i\right)}^{*},g_{U,2,l\left(i\right)}^{*},{\chi }_{I\left(i\right)},\delta \right)}{\sum _{g_{U,1,l\left(i\right)},g_{U,2,I\left(i\right)}}f\left(c_{l\left(i\right)}|g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)}$

The pdf for the peak heights given a pair of putative genotypes is calculated using the formula below:

$f\left(c_{I\left(i\right)}|g_{U,1,l\left(i\right)},g_{U,2,I\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)=\sum _{\omega }f\left(c_{l\left(i\right)}|g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega \right)p\left(\omega \right)$

where χ is the mixing proportion.

Again the core pdf function ƒ(c_l(i)|g_U,1,l(i),g_U,2,l(i),χ_l(i),δ) features.

As with the single source sample, not all pair of genotypes will have a non-zero probability. We therefore use the crime profile to guess pair of genotypes that may have zero probability. Peaks in the crime profile are designated as alleles or stutters. The genotypes are produced based on the peaks designated as alleles. We describe all cases below:

• 1. No peaks are bigger than the reporting threshold T_r. No genotypes are generated.
• 2. One peak bigger than T_r is designated as allele, denoted by a. There are two possible genotypes {a, a} and a, Q} where Q denoted any allele other than a. Any pairing of these genotypes is possible: ({a, a}, {a, a}), ({a, a}, {a, Q}) and ({a, Q}, {a, Q}).
• 3. Two peaks bigger than T_r designated as alleles, denoted by a and b. The possible genotypes are {a, a}, {a, b}, {a, Q}, {b, b}, {b, Q} and {Q, Q} where Q is any allele other than a and b. Any combination of pair of genotypes whose union contains a, b is a possible pair of genotypes: {a, a} with any genotype that contains b; {a, b} with any genotype in the list; {a, Q} with any genotype that contains b; {b, b} with any genotype that contains a; {b, Q} with any genotype that contains a; and {Q, Q} with {a, b}.
• 4. Three peaks bigger than T_r, denoted by a, b and c. This case follows exactly the same logic as in the case above. There are 10 genotypes that are possible from allele set: a, b, c and Q, where Q denotes any allele other than a, b and c. All genotype pairs whose union contains a, b, c.
• 5. Four peaks bigger than T_r are designated as alleles, denoted by a, b, c and d. In this case there are 10 possible pair of genotypes. Any genotype pair whose union is a, b, c, d is considered as a possible genotype pair.

In practice the interest lies on genotype pairs such that the first and second genotype corresponds to the major and minor contributor respectively. The calculation of the posterior probabilities in this section is done for all possible combinations of genotypes and mixing proportions. Moving from all combinations of genotypes to major minor requires folding the space of all combinations of genotypes and mixing proportions in two. To explain this point we need to introduce further notation:

G_j: a random variable for the genotype of contributor j, j=1,2;

g_j: specific instances of a genotype, j=1,2; g₁ and g₂ can be the same or different genotype.

G_M: a random variable for the genotype of the major contributor;

G_m: a random variable for the genotype of the minor contributor.

We are interested in the probabilities:

$\mathrm{Pr}\left(G_M=g_1,G_m=g_2|c_{I\left(i\right)}\right)=\sum _{\omega \in \Omega \ge 0.5}\mathrm{Pr}\left(G_M=g_1,G_m=g_2|c_{l\left(i\right)},\omega \right)p\left(\omega \right)$

where Ω≧0.5 is a discreet set of mixing proportions greater or equal to 0.5. When ω>0.5 the first factor in the summation in the above equation is:

$\mathrm{Pr}\left(G_M=g_1,G_m=g_2|c_{I\left(i\right)}\omega \right)=\mathrm{Pr}\left(G_1=g_1,G_2=g_2|c_{l\left(i\right)},\omega \right)+\mathrm{Pr}\left(G_1=g_2,G_2=g_1|c_{l\left(i\right)},1-\omega \right)=2\times \mathrm{Pr}\left(G_1=g_1,G_{2m}=g_2|c_{l\left(i\right)},\omega \right)$

If ω=0.5:

Pr(G_M=g₁,G_m=g₂|c_l(i)ω)=Pr(G_I=G₂=g₂|c_l(i),ω).

6.5.3—Consideration of Mixing Proportion

In mixed source samples, the mixing proportion comes into play. On the basis that major and minor contributors are considered, then the values are:

ωε=(0.5, 0.6, . . . 0.9).

In fact, the posterior probability of the mixing proportion given the peaks heights across all loci is used, expressed as:

$f\left(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)}\right)=\sum _{\omega }f\left(c_{l\left(i\right)}g_{U,1,l\left(i\right)},g_{U,2,l\left(i\right)},\omega \right)p\left(\omega c_{l\left(1\right)},c_{l\left(2\right)},\dots c_{l\left(\mathrm{nLoci}\right)}\right)$

The method for obtaining the posterior probability of the mixing proportion given peak heights, the second factor in the summation, is described in section 6.5.4. The method for computing pdf in the first factor of the summation is given in section 6.5.5.

6.5.4—Mixing Proportion Posterior Distribution

For each locus l(i) we generate a set of possible genotype pairs of potential contributors of the crime profile c_l(i). The j-th instance of the genotype of the contributor 1 and 2 are denoted by g_U1,j,l(i) and g_U2,j,l(i), respectively, where n_g is the number of genotype pairs. We are interested in calculating the posterior probability of pair of genotypes given the peak heights in the crime profile c_l(i). For this calculation we need a probability distribution for mixing proportion. In this section we describe a sequential method for calculating the posterior distribution of mixing proportion given peak heights across loci.

The mixing proportion is a continuous quantity in the interval (0, 1). However, for practical purposed, we use a discrete probability distribution. Assume that we have mixing proportions ω={ω_k:k=1, . . . , n_ω}, where n_ω is the number of mixing proportions considered. We set a prior distribution for mixing proportion as uniform over the discrete values. Using Bayes theorem, the posterior distribution for mixing proportion given the peak heights in locus i is:

$p\left({\omega }_k|c_{l\left(i\right)},{\chi }_{l\left(i\right)},\delta \right)=\frac{f\left(c_{l\left(1\right)}|{\chi }_{l\left(1\right)},{\omega }_k,\delta \right)p\left({\omega }_k\right)}{\sum _{m=1}^{n_{\omega }}f\left(c_{l\left(1\right)}|{\chi }_{l\left(1\right)},\delta ,{\omega }_m\right)p\left({\omega }_m\right)}$

The posterior distribution of mixing proportion for locus i, i=2, 3, . . . , n_L is given by:

$p\left({\omega }_k|c_{l\left(1\right)},\dots ,c_{I\left(i\right)},{\chi }_{l\left(1\right)},\dots {\chi }_{I\left(i\right)},\delta \right)=\frac{\begin{array}{c}f\left(c_{l\left(i\right)}|{\chi }_{l\left(i\right)},{\omega }_k,\delta \right)\\ p\left({\omega }_k\right)c_{l\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{I\left(1\right)},\dots {\chi }_{I\left(i-1\right)},\delta \end{array}}{\begin{array}{c}\sum _{m=1}^{n_{\omega }}f\left(c_{l\left(i\right)}|{\chi }_{I\left(i\right)},\delta ,{\omega }_m\right)p\\ \left({\omega }_m|c_{I\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{l\left(1\right)},\dots {\chi }_{I\left(i-1\right)},\delta \right)\end{array}}$

where ƒ(ω_k|c_l(i),χ_l(i)), i=1, 2, . . . n_L is defined in the following paragraph. If there are any loci with no information they are ignored in the calculation as having no information.

The probability density of the peak height in the crime profile c_l(i) at locus l(i) for a given mixing proportion ω_k, is given by:

$f\left(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k\right)=\sum _{j=1}^{n_g}f\left(c_{l\left(i\right)}g_{U1,j,l\left(i\right)},g_{U2,j,l\left(i\right)},{\chi }_{l\left(i\right)},{\omega }_k\right)p\left(g_{U1,j,l\left(i\right)},g_{U2,j,l\left(i\right)}\right)$

where p(g_U1,j,l(i),g_U2,j,l(i)) is the probability of the two genotypes prior to observing the crime profile. This is based on the assumption of an equal probability of all genotype pairs:

$p\left(g_{U1,j,l\left(i\right)},g_{U2,j,l\left(i\right)}\right)=\frac{1}{n_g}$

This

$\frac{1}{n_g}$

will cancel out in the following equations and it is thus ignored. Then the probability density in the above equation then simplifies to:

$f\left(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k\right)=\sum _{j=1}^{n_g}f\left(c_{l\left(i\right)}g_{U1,j,l\left(i\right)},g_{U2,j,l\left(i\right)},{\chi }_{l\left(i\right)},{\omega }_k\right)$

The pdf in the summation of the above is described in section 6.5.5.

The calculations in this method can be readily represented using Bayesian Networks. The starting point is the Bayesian Network in FIG. 25a (with Ω as the mixing proportion). The effect of the above equation is represented in FIG. 25b by erasing the nodes corresponding to the putative genotypes. The effect of using equation

$p\left({\omega }_kc_{l\left(1\right)},\dots ,c_{l\left(i\right)},{\chi }_{l\left(1\right)},\dots ,{\chi }_{l\left(i\right)},\delta \right)=\frac{f\left(c_{l\left(i\right)}{\chi }_{l\left(i\right)},{\omega }_k,\delta \right)p\left({\omega }_k\right)c_{l\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{l\left(1\right)},\dots ,{\chi }_{l\left(i-1\right)},\delta }{\sum _{m=1}^{n_{\omega }}f\left(c_{l\left(i\right)}{\chi }_{l\left(i\right)},\delta ,{\omega }_m)p({\omega }_mc_{l\left(1\right)},\dots ,c_{l\left(i-1\right)},{\chi }_{l\left(1\right)},\dots ,{\chi }_{l\left(i-1\right)},\delta \right)}$

for locus l(i) takes us from FIG. 25b to FIG. 25c. The effect of using the same equation for locus l(j) takes the position from FIG. 25c to FIG. 25d. 6.5.5—Probability Density Function ƒ(c_l(i)|g_1,l(i),g_2,l(i), ω,χ_l(i),δ)

6.5.5.1—Overview

As identified above, in evidential and intelligence uses involving mixed source samples, the pdf ƒ(c_l(i)|g_1,l(i),g_{2,l(i),ω,χl(i)},δ) is of great importance.

In this section we describe the construction and use of the pdf for a crime profile given two putative donors. We use a running example to illustrate the method. The example is for locus D2. The crime profile and putative donors used in the example are given in Table 1.

TABLE 1
allele	height	donor 1	donor 2	base pair count
16	124			293
17	2243	•		297
21	0			313
22	271		•	317
23	169			321
24	2044	•	•	325

6.5.5.2—Construction

This pdf is closely related in principles and approach to that detailed for single source samples and again is constructed in seven steps:

• Step 1 The associated peak-height sum for donor 1 is ω×χ_l(i). Let's denote the corresponding means for the peak height of the alleles and the stutters of this donor by and μ_a,1,l(i) and μ_s,1,l(i), respectively. They are obtained as a function of χ_D2 using the method described in section 6.2.7.3. For each allele a of donor 1, we assign the allele mean μ_a,1,l(i) to the position of allele a, and the stutter mean μ_s,1,l(i) to position a−1. If the donor is homozygote, we do the assignment twice.In the example, the sum of peak height above the limit of detection of 30 rfu is χ_D2=4851 and the mixing proportion is ω=0.9. The associated sum of peak heights for donor 1 is ω×χ_D2=4365.9. The sum of peak heights are in fact across all loci and therefore to obtain the means for alleles and stutters we multiply by 10. The expected mean height for stutters and alleles are given in table 2.

TABLE 2
Mean      Value
μa, 1, D2 1501.87
μs, 1, D2 100.42

• Step 2 The associated peak-height sum for donor 2 is (1−ω)×χ_l(i) with associated mean for allele and stutters: μ_a,2,l(i) and μ_s,2,l(i). The assignment of means is done as in step 1.
  • The associated peak height sum for donor 2 is (1−ω)×χ_D2=485.1. The means for alleles and stutter are given in Table 3.

TABLE 3
Mean      Value
μa, 2, D2 166.87
μs, 2, D2 11.16

• Step 3 If a donor is a heterozygote, the means are modified to take into account factors, such as PCR efficiency and degradation, that affect the resulting peak heights. For example, if donor 1 is a heterozygote in locus l(i), the mean for his/her alleles and stutters are: δ₁×μ_a,1,l(i) and δ₁×μ_s,1,l(i) for the low-molecular-weight allele and δ₂×μ_a,i,l(i) and δ₂ μ_s,1,l(i) for the high-molecular-weight allele. We give a detailed description of the method for calculating δ₁ and δ₂ elsewhere.In the example, both donors are heterozygotes. The EAQ factors for both donors are given in the Table 4. Notice that the EAQ factors for donor 1 are more separated than the EAQ factors of donor 2. This is due to the greater separation in base pairs between the alleles of donor 1 and the alleles of donor 2. The adjusted means for alleles and stutters are also given in Table 4.

	Donor 1	Donor 2	Base pair
Allele	Detected?	EAQ factor	means	Detected?	EAQ factor	means	count
16		δ1 = 1.027	103.13				293
17	X	δ1 = 1.027	1542.42				297
21					δ1 = 1.082	12.07	313
22				X	δ1 = 1.082	180.56	317
23		δ2 = 0.972	97.60		δ2 = 0.918	10.24	321
24	X	δ2 = 0.972	1459.2	X	δ2 = 0.918	153.19	325

• Step 4 The variances for each allele and stutter are obtained as a function of means using the method described above. In later step we need to add random Gamma variables. A condition for a close form calculation is that the β-parameters are the same. Also in a later step, we divide each Gamma by the overall sum of peak height to account for using the sum of peak heights in this locus. A closed form calculation can be done if all β parameters are the same. The conditioned on the β-parameters can be obtained by estimating a line between the points formed by the means, in the x-axis, and the variances, in the y-axis. A regression line with zero intercept is fitted to obtain:

{circumflex over (σ)}²=κ₂×μ

So, if peak i has mean and variance (μ_i,σ_i²),

β=μ_i/σ_i²=μ_i/(κ₂×μ_i)=1/κ₂

regardless of the value of μ_i. In this example k₂=118.2. Table 5 shows the standard deviations computed from the data and with the linear relationship between the means and variances.

• Step 5 The shape (α) and rate (β) parameters are obtained from the mean (μ) and the variances ({circumflex over (σ)}²) using the known formulae α=(μ/{circumflex over (σ)}²)² and β=μ/{circumflex over (σ)}².
• Step 6 The alpha parameters for alleles and stutters in the same allele position are added to obtain an overall a for that position. Now we have the parameters of a Gamma distribution for each position.

	Donor 1		Donor 2
Allele		(μ)	(σ)	(σ2)		(μ)	(σ)	(σ2)
16		103.13	45.17	110.41
17	X	1542.42	435.38	426.98
21						12.07	3.56	37.77
22					X	180.56	66.44	146.10
23		97.60	43.57	107.41		10.24	12.06	35.29
24	X	1459.2	412.06	415.39	X	153.19	59.10	134.56

Table 5: Estimated means (μ) and standard deviations (σ) and the standard deviations {circumflex over (μ)} obtained from the linear relationship between the means (μ) and the variances (σ²)

• Step 7 To account for using the sum of peak height in the locus, the collection of Gamma pdf's whose peak heights are above the peak-height reporting limit are converted to a Dirichlet pdf. This is achieved in closed form because all ρ's are the same. The resulting Dirichlet pdf inherit the α parameters of the Gammas.

6.5.6—Use of the Approach

Given a pair of putative genotypes, the peaks in the crime profile are either bigger or smaller than the reporting threshold T_r, or not present at all. We treat missing peaks and peaks smaller than T_r as peak that has dropped out. We write the crime profile for a given pair of genotype as:

c _l(i) ={h:hεc _l(i) ,h<T _r }∪{h:hεc _l(i) ,h≧T _r}

The resulting pdf is given by:

$f\left(c_{l\left(i\right)}g_{1,l\left(i\right)},g_{2,l\left(i\right)},{\chi }_{l\left(i\right)},\delta ,\omega \right)=f\left(\pi \alpha \right)x\prod _{\left\{h:h\in C_{l\left(i\right)},h<T_r\right\}}F\left(T{\alpha }_h,{\beta }_h\right)$

The terms are explained below: ƒ(π|α) is a Dirichlet pdf with parameters

α=∪{α_h:hεc_l(i),h≧T_r}

and

π=∪{h/χ_l(i)^l:hεc_l(i),h≧T_r}

where a_h is the alpha parameter of the associated Gamma pdf in the corresponding position of height h.

χ_l(i)^l=Σ_{hεcl(i),h≧Tr}h is the sum of peak heights bigger than reporting threshold T_r.

F(T_r|α_h,β_h) is the CDF of a Gamma distribution with parameters α_h and β_h for the peak in the position of h calculated as described above.

6.7—Peak Imbalance Parameter Model—Mixed Source Samples

6.7.1—Overview

The peak imbalance parameter or effective amplified quantity (EAQ) is manifested in a crime profile through a reduction of peak heights for high molecular weight alleles. In this section a model for quantifying EAQ is described. Methods for estimating EAQ parameters and deploying them for a profile in a locus are also given.

We model EAQ prior to any knowledge of the suspect's genotype. For each locus we associate molecular weight of the peaks in the profiles with the sum of heights. As the molecular weight of the locus increases we estimate the reduction in the sum of peak heights.

6.7.2—Details

Assume that in locus l(i) we have the set of peak heights h_l(i)={h_j,l(i):j=1, . . . , n_l(i)}. Each height has an associated base pair count b_l(i)={b_j,l(i):j=1, . . . , n_l(i)}. An average base pair count, weighted by peak heights, is used as a measure of molecular weight for the locus. More specifically, this is defined as:

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}$ $\mathrm{where}$ ${\chi }_{l\left(i\right)}=\sum _{j=1}^{n_{l\left(i\right)}}h_{j,l\left(i\right)}$

We define the EAQ model as:

χ_l(i)=d₁+d₂b_l(i)

where d₁ and d₂ are the same for all loci.

The sum of peak heights χ_l(i) is assumed to be a linear function of the weighted base-pair average,

${\stackrel{\_}{b}}_{l\left(i\right)}=\frac{\sum _{j=1}^nb_{j,l\left(i\right)}h_{j,l\left(i\right)}}{{\chi }_{l\left(i\right)}}.$

6.7.3—Estimation of Peak Imbalance Parameters d₁ and d₂

The parameters d₁ and d₂ are calculated using least squared estimation. However some loci may behave differently, and therefore the sum of peak heights of these loci can be treated as outlier. We use a Jackknife method to deal with this problem. There are n_L, loci with peak height and base pair information.

• 1. We fit the regression model n_L times, removing the i^ih value of the sets

{χ_l(i):i=1, . . . , n_L} and {b_l(i):i=1, . . . , n_L}.

• 2. We use least-squares estimation to produce a prediction interval, {circumflex over (χ)}_l(i)±2σ, where σ is the standard deviation of the residuals in the fitted regression line.
• 3. If the sum of peak height χ_i which was not used for the estimation of the regression line, does not lie within the prediction interval then we consider it an outlier.
• 4. After the n_L models have been produced we remove any outliers from the dataset and re-fit the model. The values of d₁ and d₂ are extracted from the model estimated without outliers.

If the degradation in the profile is negligible, peak height variability may cause the estimated value of d₂ to be greater than zero. In this case we set d₂=0 and d₁=1.

6.7.4—Deploying the Peak Imbalance Parameter Model

The peak imbalance parameter or EAQ model is used for taking into account EAQ within a locus. EAQ between loci is taken account by conditioning on the sum of peak height per locus. The EAQ model is used when the pdf of the peak heights for single and two-person profiles is deployed. More specifically, it is deployed for each heterozygote donor. In this section we describe the calculation of the EAQ factors δ₁ and δ₂ to be used for deploying pdf for peak heights.

Assume that at locus l(i) we have a putative heterozygote donor with alleles a₁,l(i) and a₂,l(i) with corresponding molecular weights in base pairs b₁,l(i) and a₂,l(i), respectively. If we were not considering EAQ, given the sum of peak heights χ_l(i) for this locus we can obtain a mean μ_l(i) and variance σ_l(i)² of a Gamma distribution that models the behaviour of a peak height. In other words, if H_j,l(i) denotes the random variable for the height corresponding the allele s_j,l(i), then:

H _j,l(i)□Γ(μ_l(i),σ_l(i)²|χ_l(i)),j=1,2.

The same Gamma pdf is used for any allele in the locus. The EAQ model issued to adapt the Gamma pdf by taking into account the molecular weight of the allele. The EAQ model is used to calculate a pair of factors δ₁ and δ₂ so that the mean values of the Gamma distribution are adjusted accordingly. The new mean is given by:

μ_j,l(i)=δ×μ_l(i),j=1,2.

In the rest of the section we describe a method for calculating δ₁ and δ₂ using the slope d₂ of the EAQ regression line. The first condition that the δ's must fulfill is that the slope of a line going through the coordinates (b_1,l(i),μ_1,l(i)) and (b_2,l(i),μ_2,l(i)) is the same as the slope d₂ of the EAQ regression line, i.e.:

$\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{b_{1,l\left(i\right)}-b_{2,l\left(i\right)}}=d_2$

The second condition that the δ's must fulfilled is the preservation of the mean μ_l(i):

$\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{2}={\mu }_{l\left(i\right)}$

Substituting

${\mu }_{j,l\left(i\right)}=\delta x{\mu }_{l\left(i\right)},\begin{array}{c}j=1,2·\mathrm{in}\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{b_{1,l\left(i\right)}-b_{2,l\left(i\right)}}\\ =d_2\end{array}$ $\mathrm{and}$ $\frac{{\mu }_{1,l\left(i\right)}-{\mu }_{2,l\left(i\right)}}{2}={\mu }_{l\left(i\right)}$

we obtain two equations with two unknowns δ₁ and δ₂. The solution of the equations is

${\delta }_1=\frac{d_2(b_{1,l\left(i\right)}-b_{2,l\left(i\right)}+2{\mu }_{l\left(i\right)}}{2{\mu }_{l\left(i\right)}}$ ${\delta }_2=2-{\delta }_1$

The stutter associated with the allelic peak will have the same degradation factor because it is the starting DNA molecules of the allele that is affected by degradation.

6.7.5—Other Information

• 1. In the present version of the model we are not using the peak heights of Amelo for calculating the EAQ line, however, it is deployed for this locus.
• 2. The maximum value that δ₁ can take in 1.9 because if δ₁≧2, δ₂=2−δ₁ is not positive.

Claims

1. A method of comparing a first sample result set with a second sample result set, the method comprising: a) providing information for the first result set on the one or more identities detected for a variable characteristic of DNA;b) providing information for the second result set on the one or more identities detected for a variable characteristic of DNA; andc) considering the relative likelihoods of one hypothesis to another hypothesis as a likelihood ratio; wherein the method uses in the definition of the likelihood ratio the factor: ƒ(Cl(i)|gl(i),χl(i),δ) where gl(i) is the genotype of the donor of sample Cl(i), δ is an effect parameter and χl(i) denotes the quantitative measure, for instance peak-height sum or peak area sum, for the locus i; or

2. A method according to claim 1 wherein the method of comparing considers the relative likelihoods of one hypothesis to another hypothesis as a likelihood ratio, the likelihood ratio being of the form:

3. A method according to claim 1 wherein the likelihood includes a factor accounting for stutter and/or a factor accounting for allele dropout and/or a factor accounting for one of more effects which impact upon the amount of an allele.

4. A method according to claim 3 wherein the one or more effects may be and/or include degradation effects and/or variations in amplification efficiency and/or variations in amount of allele in a sub-sample of a sample.

5. A method according to claim 1 wherein: a) the method is computer implemented method; and/orb) the first sample is a test sample and the test sample is analysed to establish the identities present in respect of one or more variable parts of the DNA of the test sample, the analysis comprising one or more of: a sampling step; a dilution step; a purification step; a pooling of samples step; a division of samples step; an amplification step, such as PCR; a detection step; an electrophoresis step; an interpretation step; a peak identification step; a peak height and/or area determination step; and/orc) the first sample and/or control samples are analysed to determine the peak height or heights present for one or more peaks indicative of one or more identities and/or to determine the peak area or areas present for one or more peaks indicative of one or more identities and/or to determine the peak weight or weights present for one or more peaks indicative of one or more identities and/or to determine a level indicator for one or more identities.