03-empirical.Rmd

# Empirical plots from FROC data {#empirical}


```{r setup, include = FALSE}
  knitr::opts_chunk$set(
  collapse = TRUE,
  comment = "#>"
  )
  library(RJafroc)
  library(ggplot2)
  library(kableExtra)
  library(gridExtra)
library(grid)
```



## How much finished {#empirical-how-much-finished}
100%



## Introduction {#empirical-intro}

FROC data consists of mark-rating pairs. A distinction is made between *latent* marks (suspicious regions perceived by the visual system but not necessarily marked) and *actual* marks. A key table (used in later chapters) summarizing FROC notation is introduced which allows unambiguous description of the data. 


Empirical plots refer to those generated directly from the data. Empirical operating characteristics (empirical plots) introduced in this chapter are the FROC, the (inferred) ROC, the alternative FROC (AFROC), the weighted AFROC (wAFROC), the AFROC1, wAFROC1. Formulae for x and y coordinates of each plot are given in terms of the underlying mark-rating FROC data. 


Plots are *visual* depictions of performance. Scalar measures derived from plots can serve as *quantitative* measures of performance. Empirical area under curve (AUC) measures associated with all plots are illustrated with a small FROC dataset. Except for the FROC plot all of the other plots include a straight line extension from the uppermost observed operating point to (1,1).


If one ignores localization information and simply considers the highest rating on each case as representing its ROC rating, one can define the empirical ROC plot and associated area measure ROC-AUC from FROC data. Since ROC-AUC is a fundamental measure of classification accuracy between non-diseased and diseased cases any other proposed area measure that does not ignore location information should, if it is to be useful, correlate with ROC-AUC. These correlations are explored using the small dataset and it is shown that FROC-AUC is a poor measure of performance. While ways of circumventing FROC-AUC have been proposed and have been used by some investigators none are satisfactory and the claim of this book is that **the FROC should never be used to quantify performance**. The basic reason is simple: unlike all of the other plots defined in this chapter the FROC plot is not constrained to lie within the unit square and the area under a straight line extension to (1,1) is meaningless.


Some of the other empirical plots and AUCs are less familiar as compared to the well-known ROC plots and ROC-AUC. As an aid to understanding them I have included numerical ("hand") calculations of the empirical plots and AUCs for the small dataset. The calculations also illustrate the advantage of using *weighted* versions implemented in some of the empirical plots (lesion weights are a way of allowing one to model the clinical importance (i.e., morbidity/mortality) associated with different type of lesions present in a clinical dataset; a weighted plot assures that each case gets the same importance in determining AUC regardless of the number of lesions in it). 


Computing the AUCs from plots can be tedious at best; computational formulae are needed which would allow any of the AUCs to be calculated directly from the FROC ratings. Appendix 1 proves a formula for the wAFROC-AUC, Appendix 2 provides a physical interpretation of the area under the straight line extension for this plot. Appendix 3 summarizes, without proofs, the computational formulae for AUCs for all plots introduced in this chapter. 



## FROC data and notation {#empirical-mark-rating-pairs}

### LLs vs. NLs

Each mark indicates the location of a region suspicious enough to warrant reporting and the rating is the associated confidence level. A mark is recorded as a *lesion localization* (LL) if it is sufficiently close to a true lesion and otherwise it is recorded as a *non-lesion localization* (NL).

In an FROC study the number of marks on a case is an a-priori unknown non-negative random integer. It is incorrect and naive to estimate it by dividing the anatomically-relevant image area by the lesion area because not all regions of the image are equally likely to have lesions, lesions do not have the same size, and perhaps most important, radiologists don't assign equal attention units to all areas of the image ^[Currently the best insight into the numbers and locations of marks per case is obtained from eye-tracking studies [@duchowski2017eye], but the information is incomplete as eye-tracking studies can only measure *foveal* gaze and not lesions found by *peripheral* vision. Moreover, such studies are near impossible to conduct in a clinical setting (at least with the eye-tracking apparatus that I am familiar with).]. 


### Latent vs. actual marks

To distinguish between suspicious regions that were considered for marking but not necessarily marked and regions that were actually marked, it is necessary to introduce the distinction between *latent* marks and *actual* marks.

-   A *latent* mark is defined as a suspicious region, regardless of whether or not it was marked. A latent mark becomes an *actual* mark if it is marked.
-   A latent mark is a latent LL if it is close to a true lesion and otherwise it is a latent NL.
-   A non-diseased case can only have latent NLs. A diseased case can have latent NLs and latent LLs.
-   If marked a latent NL is recorded as an actual NL.
-   If not marked a latent NL is an *unobservable event*. This is an important point.
-   In contrast unmarked lesions are observable events -- one knows (trivially) which lesions were not marked.


### z-samples vs. ratings

z-samples are conceptual quantities that can range from $-\infty$ to $+\infty$. Ratings are observed values typically collected as integers but any ordered set of values will do where larger values correspond to greater suspicion for disease. The conversion from z-samples to ratings is accomplished by adopting a binning rule. 



### Binning rule

Recall that ROC data modeling requires the existence of a *case-dependent* decision variable, or z-sample $z$, and case-independent decision thresholds $\zeta_r$, where $r = 0, 1, ..., R_{ROC}-1$, where $R_{ROC}$ is the number of ROC study bins ^[The subscript is used to make explicit the paradigm used as otherwise it leads to confusion.] and a *binning rule* that if $\zeta_r \leq z < \zeta_{r+1}$ the case is rated $r + 1$. Dummy cutoffs are defined as $\zeta_0 = -\infty$ and $\zeta_{R_{ROC}} = \infty$. The z-sample applies to the whole case. To summarize:


\begin{equation}
\left.
\begin{aligned}  
\text{if} \left (\zeta_r \le z < \zeta_{r+1}  \right )\Rightarrow \text {rating} = r+1\\
r = 0, 1, ..., R_{ROC}-1\\
\zeta_0 = -\infty\\
\zeta_{R_{ROC}} = \infty\\
\end{aligned}
\right \}
(\#eq:binning-rule-roc)
\end{equation}


Analogously, FROC data modeling requires the existence of a *case and location dependent* z-sample for each latent mark and *case and location independent* reporting thresholds $\zeta_r$, where $r = 1, ..., R_{FROC}$ and $R_{FROC}$ is the number of FROC study bins, and the binning rule that a latent mark is marked and rated $r$ if $\zeta_r \leq z < \zeta_{r+1}$. Dummy cutoffs are defined as $\zeta_0 = -\infty$ and $\zeta_{R_{FROC}+1} = \infty$. For the same numbers of non-dummy cutoffs, the number of FROC bins is one less than the number of ROC bins. For example, 4 non-dummy cutoffs $\zeta_1, \zeta_2, \zeta_3, \zeta_4$ can correspond to a 5-rating ROC study or to a 4-rating FROC study. To summarize:


\begin{equation}
\left.
\begin{aligned}  
\text{if} \left (\zeta_r \le z < \zeta_{r+1}  \right )\Rightarrow \text {rating} = r\\
r = 1, 2, ..., R_{FROC}\\
\zeta_0 = -\infty\\
\zeta_{R_{FROC}+1} = \infty\\
\end{aligned}
\right \}
(\#eq:binning-rule-froc)
\end{equation}



### Notation {#empirical-notation}

*Clear notation is vital to understanding this paradigm.* The notation needs to account for case and location dependencies of ratings and the distinction between case-level and location-level ground truths. *The notation also has to account for cases with no marks.*

FROC notation is summarized in Table \@ref(tab:empirical-notation) in which *marks refer to latent marks*. The first column is the row number, the second column has the symbol(s), and the third column has the meaning(s) of the symbol(s).

```{r empirical-notation, echo=FALSE}
frocNotation = array(dim = c(17,3))
frocNotation[1,]  <- c("1", "$t$", "Case-level truth: 1 non-diseased, 2 diseased case")
frocNotation[2,]  <- c("2", "$K_t$", "Number of cases with case-level truth $t$")
frocNotation[3,]  <- c("3", "$k_t t$", "Case $k_t$ in case-level truth $t$")
frocNotation[4,]  <- c("4", "$s$", "Location-level truth: 1 for NL and 2 for LL")
frocNotation[5,]  <- c("5", "$l_s s$", "Mark $l_s$ in location-level truth $s$")
frocNotation[6,]  <- c("6", "$N_{k_t t}$", "Number of NLs in case $k_t t$")
frocNotation[7,]  <- c("7", "$L_{k_2 2}$", "Number of lesions in case $k_2 2$")
frocNotation[8,]  <- c("8", "$z_{k_t t l_1 1}$", "$z$-sample for case $k_t t$ and NL mark $l_1 1$")
frocNotation[9,]  <- c("9", "$z_{k_2 2 l_2 2}$", "$z$-sample for case $k_2 2$ and LL mark $l_2 2$")
frocNotation[10,]  <- c("10", "$r_{k_t t l_s s}$", "rating for case $k_t t$ and LL/NL mark $l_s s$")
frocNotation[11,]  <- c("11", "$R_{FROC}$", "Number of FROC bins")
frocNotation[12,]  <- c("12", "$\\zeta_1$", "Lowest non-dummy reporting threshold")
frocNotation[13,]  <- c("13", "$\\zeta_r$", "$r$ = 2, 3, ..., non-dummy reporting thresholds")
frocNotation[14,]  <- c("14", "$\\zeta_0, \\zeta_{R_{FROC}+1}$", "Dummy thresholds, negative and positive infinity")
frocNotation[15,]  <- c("15", "$W_{k_2 l_2}$", "Weight of lesion $l_2 2$ in case $k_2 2$, explained later")
frocNotation[16,]  <- c("16", "$L_{max}$", "Maximum number of lesions per case in dataset")
frocNotation[17,]  <- c("17", "$L_T$", "Total number of lesions in dataset")
df <- as.data.frame(frocNotation)
colnames(df) <- c("Row", "Symbol", "Meaning")
knitr::kable(df, caption = "FROC notation; all marks refer to latent marks.", escape = FALSE)
```

### Comments

-   Row 1: The case-truth index $t$ refers to the case (or patient), with $t = 1$ for non-diseased and $t = 2$ for diseased cases. As a useful mnemonic, $t$ is for *truth*.

-   Row 2: $K_t$ is the number of cases with truth state $t$; specifically, $K_1$ is the number of non-diseased cases and $K_2$ the number of diseased cases. 

-   Row 3: Two indices $k_t t$ are needed to select case $k_t$ in truth state $t$. As a useful mnemonic, $k$ is for *case*.

-   Row 4: $s$ location-level truth state: 1 for non-diseased region (NL) and 2 for lesion (LL).

-   Row 5: Similar to row 3, two indices $l_s s$ are needed to select latent mark $l_s$ in location-level truth state $s$. As a useful mnemonic, $l$ is for *location*.

-   Row 6: $N_{k_t t}$ is the total number of latent NL marks in case $k_t t$. Latent NL marks are possible on non-diseased and diseased cases (i.e., both values of $t$ are allowed). 

-   Row 7: $L_{k_2 2}$ is the number of lesions in diseased case $k_2 2$.

-   Row 8: The z-sample for case $k_t t$ and NL mark $l_1 1$ is denoted $z_{k_t t l_1 1}$. The range of a z-sample is $-\infty < z_{k_t t l_1 1} < \infty$, provided $l_1 \neq \varnothing$; otherwise, it is an unobservable event.

-   Row 9: The z-sample of a latent LL is $z_{k_2 2 l_2 2}$. Unmarked lesions are observable events assigned negative infinity ratings (the null-set notation is unnecessary).

-   Row 10: The rating of a mark is $r_{k_2 2 l_2 2}$. Unmarked NLs are unobservable events. Unmarked lesions are assigned negative infinity ratings.

-   Row 11: $R_{FROC}$ is the number of bins in the FROC study.

-   Rows 12, 13 and 14: The cutoffs in the FROC study. The lowest threshold is $\zeta_1$. The other non-dummy thresholds are $\zeta_r$ where $r=2,3,...,R_{FROC}$. The dummy thresholds are $\zeta_0 = -\infty$ and $\zeta_{R_{FROC}+1} = \infty$.

-   Row 15: $W_{k_2 l_2}$ is the weight (i.e., clinical importance) of lesion $l_2 2$ in diseased case $k_2 2$. The weights of lesions in a case sum to unity: $\sum_{l_2 = 1}^{L_{k_2 2}}W_{k_2 l_2} = 1$.

-   Row 16: $L_{max}$ is the maximum number of lesions per case in the dataset.

-   Row 17: $L_T$ is the total number of lesions in the dataset.



### A conceptual and notatonal issue {#empirical-indexing-marks}

An aspect of FROC data, *that there could be cases with no NL marks, no matter how low the reporting threshold*, has created problems both from conceptual and notational viewpoints. 

Taking the conceptual issue first, my thinking (prior to 2004) was that as the reporting threshold $\zeta_1$ is lowered, the number of NL marks per case increases almost indefinitely. I visualized this process as each case "filling up" with NL marks [^empirical1-1]. In fact the first model of FROC data [@chakraborty1989maximum] predicts that as the reporting threshold is lowered to $\zeta_1 = -\infty$, the number of NL marks per case approaches $\infty$. However, actual FROC datasets do not agree with this thinking. This is one reason I introduced the radiological search model (RSM) [@chakraborty2006search]. I will have more to say about this in Chapter \@ref(rsm), but for now I state one assumption of the RSM: the number of latent NL marks is a Poisson distributed random integer with a finite value for the mean parameter of the distribution. This means that the actual number of latent NL marks per case can be 0, 1, 2, .., whose average (over all cases) is a finite number. It is highly unlikely that any case will have an infinite number of NLs.

With this background, let us return to the conceptual issue: why does the observer not keep "filling-up" the image with NL marks? The answer is that *the observer can only mark regions that have a non-zero chance of being a lesion*. For example, if the actual number of latent NLs on a particular case is 2, then, as the reporting threshold is lowered, the observer will make at most two NL marks. Having exhausted these two regions the observer will not mark any more regions because there are no more regions to be marked - *all other regions in the image have, in the perception of the observer, zero chance of being a lesion*.

[^empirical1-1]: I expected the number of NL marks per image to be limited only by the ratio of image size to lesion size, i.e., larger values for smaller lesions.

The notational issue is how to handle cases with no latent NL marks. Basically it involves restricting summations over cases to those cases which have at least one latent NL mark, i.e., $N_{k_t t} > 0$, as in the following: 

* $l_1 = \{1, 2, ..., N_{k_t t}\}$ indexes latent NL marks, provided the case has at least one latent NL mark; otherwise $N_{k_t t} = 0$ and $l_1 = \varnothing$, the null set. The possible values of $l_1$ are $l_1 = \left \{ \varnothing \right \}\oplus \left \{ 1,2,...N_{k_t t} \right \}$. The null set applies when the case has no latent NL marks and $\oplus$ is the "exclusive-or" symbol ("exclusive-or" is used in the English sense: "one or the other, but not neither nor both"). 

* $l_2 = \left \{ 1,2,...,L_{k_2 2} \right \}$ indexes latent LL marks. Unmarked LLs are assigned negative infinity ratings as these are observable events. The null set notation is not needed because for every diseased case $L_{k_2 2} > 0$.


## The FROC plot {#empirical-froc-plot-1}

Definitions:

>
 -   $NLF_r \equiv NLF(\zeta_r)$ = cumulated NL counts with z-sample $\geq$ threshold $\zeta_r$ divided by total number of cases.
 -   $LLF_r \equiv LLF(\zeta_r)$ = cumulated LL counts with z-sample $\geq$ threshold $\zeta_r$ divided by total number of lesions.


Definitions:

>
The empirical FROC plot connects adjacent operating points $\left (\text{NLF}_r, \text{LLF}_r \right )$, including the origin (0,0) and the observed end-point, with straight lines. The area under this plot is the empirical FROC AUC, denoted $A_{\text{FROC}}$. **Warning: this is a particularly dangerous figure of merit, as will shortly become clear.**

Using the notation of Table \@ref(tab:empirical-notation) and assuming binned data[^empirical1-2] and $n(x)$ denotes the number of events $x$:

[^empirical1-2]: This is not a limiting assumption: if the data is continuous, for finite numbers of cases, no ordering information is lost if the number of ratings is chosen large enough. 




\begin{equation}
\text{NLF}_r  = \frac{n\left ( \text{NLs rated} \geq \zeta_r\right )}{K_1 + K_2}
(\#eq:empirical-NLF1)
\end{equation}


and

\begin{equation}
\text{LLF}_r  = \frac{n\left ( \text{LLs rated} \geq \zeta_r\right )}{L_T}
(\#eq:empirical-LLF1)
\end{equation}


The allowed values of $r$ are:


\begin{equation}
r = 1, 2, ...,R_{FROC} 
(\#eq:empirical-range-r)
\end{equation}


Due to the ordering of the thresholds, i.e., $\zeta_1 < \zeta_2 ... < \zeta_{R_{FROC}}$, higher values of $r$ correspond to lower operating points. The uppermost operating point, i.e., that defined by $r = 1$, is referred to the as the *observed end-point*.

Equations \@ref(eq:empirical-NLF1) and \@ref(eq:empirical-LLF1) are equivalent to:


\begin{equation}
\text{NLF}_r  = \frac{1}{K_1+K_2} \sum_{t=1}^{2} \sum_{k_t=1}^{K_t} \mathbb{I} \left ( N_{k_t t} > 0 \right )\sum_{l_1=1}^{N_{k_t t}} \mathbb{I} \left ( z_{k_t t l_1 1} \geq \zeta_r \right ) 
(\#eq:empirical-NLFr)
\end{equation}


and


\begin{equation}
\text{LLF}_r  = \frac{1}{L_T} \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{L_{k_2 2}} \mathbb{I} \left ( z_{k_2 2 l_2 2} \geq \zeta_r  \right ) 
(\#eq:empirical-LLFr)
\end{equation}


The indicator function is defined as unity if the argument is true and zero otherwise:


\begin{equation}
\left.
\begin{matrix}
\mathbb{I}\left( \text{True} \right) & = &  1\\
\mathbb{I}\left( \text{False} \right) & = & 0 
\end{matrix}
\right \}
(\#eq:empirical-indicator-function)
\end{equation}


In Eqn. \@ref(eq:empirical-NLFr) $\mathbb{I} \left ( N_{k_t t} > 0 \right )$ ensures that *only cases with at least one latent NL* are included in the summation (recall that $N_{k_t t}$ is the total number of latent NLs in case $k_t t$).  The term $\mathbb{I} \left ( z_{k_t t l_1 1} \geq \zeta_r \right )$ counts over all NL marks with ratings $\geq \zeta_r$. The right hand side yields the total number of NLs in the dataset with z-samples $\geq \zeta_r$ and dividing by the total number of cases yields $\text{NLF}_r$. This equation also shows explicitly that NLs on both non-diseased ($t=1$) and diseased ($t=2$) cases contribute to NLF.

In Eqn. \@ref(eq:empirical-LLFr) a summation over $t$ is not needed as only diseased cases contribute to LLF. A term like $\mathbb{I} \left ( L_{k_2 2} > 0 \right )$ would be superfluous since $L_{k_2 2} > 0$ as each diseased case must have at least one lesion. The term $\mathbb{I} \left ( z_{k_2 2 l_2 2} \geq \zeta_r \right )$ counts over all LL marks with ratings $\geq \zeta_r$. Dividing by $L_T$, the total number of lesions in the dataset, yields $\text{LLF}_r$.


Since $\zeta_{R_{FROC}+1} = \infty$ according to Eqn. \@ref(eq:empirical-NLFr) and Eqn. \@ref(eq:empirical-LLFr) $r = R_{FROC}+1$ yields the trivial operating point (0,0).

### The observed FROC end-point and its semi-constrained property {#empirical-end-point}

The abscissa of the observed end-point $NLF_1$, is defined by:


\begin{equation}
\text{NLF}_1 = \frac{1}{K_1+K_2} \sum_{t=1}^{2} \sum_{k_t=1}^{K_t} \mathbb{I} \left ( N_{k_t t} > 0 \right ) \sum_{l_1=1}^{N_{k_t t}} \mathbb{I} \left ( z_{k_t t l_1 1} \geq \zeta_1 \right ) 
(\#eq:empirical-NLF11)
\end{equation}


Since each case could have an arbitrary non-negative number of NLs, $NLF_1$ need not equal unity, except fortuitously.

The ordinate of the observed end-point $LLF_1$, is defined by:



\begin{equation}
\left.
\begin{aligned}
\text{LLF}_1 =& \frac{1}{L_T} \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{L_{k_2 2}} \mathbb{I} \left ( z_{k_2 2 l_2 2} \geq  \zeta_1  \right ) \\
\leq& 1
\end{aligned}
\right \}
(\#eq:empirical-LLF1a)
\end{equation}



The numerator is the total number of lesions that were actually marked. The ratio is the fraction of lesions that are marked, which is $\leq 1$.

This is the **semi-constrained property of the observed end-point**, namely, while the *ordinate* is constrained to the range (0,1) the *abscissa* is not.

### Futility of extrapolation outside the observed end-point {#empirical-froc-plot-futility-extrapolation}

To understand this consider the expression for $NLF_0$, i.e., using Eqn. \@ref(eq:empirical-NLFr) with $r = 0$:


\begin{equation}
\text{NLF}_0 = \frac{1}{K_1+K_2} \sum_{t=1}^{2} \sum_{k_t=1}^{K_t} \mathbb{I} \left ( N_{k_t t} > 0 \right ) \sum_{l_1=1}^{N_{k_t t}} \mathbb{I} \left ( z_{k_t t l_1 1} \geq -\infty \right ) 
\end{equation}


The right hand side of this equation can be separated into two terms, the contribution of latent NLs with z-samples in the range $z \geq \zeta_1$ and those in the range $-\infty \leq z < \zeta_1$. The first term yields the abscissa of the observed end-point, Eqn. \@ref(eq:empirical-NLF11) but the 2nd term cannot be evaluated:


\begin{equation}
\left. 
\begin{aligned} 
\text{1st term}=&\left (\frac{1}{K_1+K_2} \right )\sum_{t=1}^{2} \sum_{k_t=1}^{K_t} \mathbb{I} \left ( N_{k_t t} > 0 \right ) \sum_{l_1=1}^{N_{k_t t}} \mathbb{I} \left ( z_{k_t t l_1 1} \ge \zeta_1 \right )\\
=&\text{NLF}_1\\
\text{2nd term}=&\left (\frac{1}{K_1+K_2} \right )\sum_{t=1}^{2} \sum_{k_t=1}^{K_t} \mathbb{I} \left ( N_{k_t t} > 0 \right ) \sum_{l_1=1}^{N_{k_t t}} \mathbb{I} \left ( -\infty \leq z_{k_t t l_1 1} < \zeta_1 \right )\\
=&\frac{\text{unknown number}}{K_1+K_2}
\end{aligned}
\right \} 
(\#eq:empirical-NLF0a)
\end{equation}


The 2nd term represents the contribution of *unmarked NLs*, i.e., latent NLs whose z-samples were below $\zeta_1$. It determines how much further to the right the observer's NLF would have moved relative to $NLF_1$ *if* one could get the observer to lower the reporting criterion to $-\infty$. *Since the observer may not oblige, this term cannot, in general, be evaluated.* Therefore $NLF_0$ cannot be evaluated. The basic problem is that *unmarked latent NLs represent unobservable events*.

Turning our attention to $LLF_0$:


\begin{equation}
\left.
\begin{aligned}
\text{LLF}_0 =& \frac{ \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{L_{k_2 2}} \mathbb{I} \left ( z_{k_2 2 l_2 2} \geq  -\infty  \right ) }{L_T}\\
=& 1
\end{aligned}
\right \}
(\#eq:empirical-LLF0)
\end{equation}


Unlike unmarked latent NLs, *unmarked lesions can safely be assigned the $-\infty$ rating, because an unmarked lesion is an observable event*. The right hand side of Eqn. \@ref(eq:empirical-LLF0) evaluates to unity. However, since the corresponding abscissa $NLF_0$ is undefined, one cannot plot this point. It follows that one cannot extrapolate outside the observed end-point.

The above formalism should not obscure the fact that the futility of extrapolation outside the observed end-point of the FROC is obvious for scientific reasons: extrapolating outside the range of the observed data is generally not a good idea.


### Illustration with a dataset {#empirical-froc-plot-illustration}

The following plot uses `dataset04` [@zanca2009evaluation] to illustrate an empirical FROC plot. This dataset has $L_{max} = 3$, $\max{(N_{k_tt}})= 3$ and a 5-point rating scale was employed. The following plot applies to reader 1 in modality (treatment) 1 only. The full dataset has 5 modalities and 4 readers.


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, 
  trts = 1, rdrs = 1, opChType = "FROC")
print(ret$Plot)
```

Shown next are FROC-AUCs for this dataset calculated using the formula in Eqn. \@ref(eq:empirical-computational-froc). All 20 modality-reader combinations are shown. 


```{r, echo=TRUE}
auc_froc <- as.data.frame(UtilFigureOfMerit(dataset04, FOM = "FROC"))
print(auc_froc)
```


The value `r auc_froc[1,1]` for `trt1` and `rdr1` is the area under the FROC plot shown above.



```{r, echo=FALSE}
auc_froc <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "FROC")))
```


## The inferred-ROC plot {#empirical-ROC}

By adopting a rule for converting the mark-rating data per case to a single rating per case, and commonly the highest rating rule is used ^[The highest rating method was used in early FROC modeling in [@bunch1977free] and in [@swensson1996unified], the latter in the context of LROC paradigm modeling.], it is possible to infer ROC data from FROC mark-rating data.



### The inferred-ROC z-sample {#empirical-ROC-fpf}


The highest ROC z-sample of a case, denoted $h_{k_t t}$, is the z-sample of the highest rated latent mark on the case or $-\infty$ if the case has no latent marks. For non-diseased cases $t = 1$ the maximum is over all latent NLs on the case. For diseased cases $t = 2$ the maximum is over all latent NLs *and* latent LLs on the case. 

When there is little possibility for confusion, the prefix "inferred" is suppressed. ROC z-samples on non-diseased cases are referred to as FP z-samples and those on diseased cases as TP z-samples.

Using the by now familiar cumulation procedure, FP counts are cumulated to calculate FPF and likewise TP counts are cumulated to calculate TPF.

Definitions:


 -   $FPF(\zeta)$ = cumulated inferred FP counts with $h_{k_1 1} \geq \zeta$ divided by total number of non-diseased cases.
 -   $TPF(\zeta)$ = cumulated inferred TP counts with $h_{k_2 2} \geq \zeta$ divided by total number of diseased cases. 


Definition of ROC plot:

>
 -   The ROC is the plot of inferred $TPF(\zeta)$ vs. inferred $FPF(\zeta)$.
 -   *The plot includes a straight line extension from the observed end-point to (1,1)*.


The highest z-sample ROC false positive (FP) z-sample for non-diseased case $k_1 1$ is defined by:


\begin{equation}
\left.
\begin{aligned}
\begin{matrix}
FP_{k_1 1}=&\max_{l_1} \left ( z_{k_1 1 l_1 1 } \right ) & \text{if} & l_1 \neq \varnothing\\
FP_{k_1 1}=&-\infty & \text{if} & l_1 = \varnothing
\end{matrix}
\end{aligned}
\right \}
(\#eq:empirical-FP)
\end{equation}


If the case has at least one latent NL mark, then $l_1 \neq \varnothing$, where $\varnothing$ is the null set, and the first definition applies. If the case has no latent NL marks, then $l_1 = \varnothing$, and the second definition applies. $FP_{k_1 1}$ is the maximum z-sample over all latent marks occurring on non-diseased case $k_1 1$, or $-\infty$ if the case has no latent marks (this is allowed because a non-diseased case with no marks is an observable event). The corresponding false positive fraction is defined by:


\begin{equation}
\text{FPF}_r \equiv \text{FPF} \left ( \zeta_r \right ) = \frac{1}{K_1} \sum_{k_1=1}^{K_1} \mathbb{I} \left ( FP_{k_1 1} \geq \zeta_r\right )
(\#eq:empirical-fpf)
\end{equation}


### Inferred TPF {#empirical-ROC-tpf}

The inferred true positive (TP) z-sample for diseased case $k_2 2$ is defined by one of the following three equations, as explained below:


\begin{equation}
\begin{matrix}
TP_{k_2 2} = \max_{l_1 l_2}\left ( z_{k_2 2 l_1 1} ,z_{k_2 2 l_2 2}  \right ) & \text{if} & l_1 \neq \varnothing
\end{matrix}
(\#eq:empirical-TP1)
\end{equation}


or


\begin{equation}
\begin{matrix}
TP_{k_2 2} = \max_{l_2}  \left ( z_{k_2 2 l_2 2} \right ) 
 & \text{if} & \left( l_1 = \varnothing \right) \land \left (\max_{l_2}{\left (z_{k_2 2 l_2 2}  \right )} > -\infty  \right )
\end{matrix}
(\#eq:empirical-TP2)
\end{equation}


or



\begin{equation}
\begin{matrix}
TP_{k_2 2} = -\infty 
 & \text{if} & \left ( l_1 = \varnothing \land\left ( \max_{l_2}{\left (z_{k_2 2 l_2 2}  \right )} = -\infty  \right )  \right )
\end{matrix}
(\#eq:empirical-TP3)
\end{equation}


Here $\land$ is the logical AND operator. An explanation is in order. Consider Eqn. \@ref(eq:empirical-TP1). There are two z-samples inside the $\max$ operator: $z_{k_2 2 l_1 1} ,z_{k_2 2 l_2 2}$. The first z-sample is from a NL on a diseased case, as per the $l_1 1$ subscripts, while the second is from a LL on the same diseased case, as per the $l_2 2$ subscripts.  

-   If $l_1 \neq \varnothing$ then Eqn. \@ref(eq:empirical-TP1) applies, i.e., one takes the maximum over all z-samples, NLs and LLs, whichever is higher, on the diseased case.

-   If $l_1 = \varnothing$ and at least one lesion is marked, then Eqn. \@ref(eq:empirical-TP2) applies, i.e., one takes the maximum z-sample over all marked LLs.

-   If $l_1 = \varnothing$ and no lesions are marked, then Eqn. \@ref(eq:empirical-TP3) applies; this represents an unmarked diseased case; the $-\infty$ z-sample assignment is justified because an unmarked diseased case is an observable event.

The inferred true positive fraction $\text{TPF}_r$ is defined by:


\begin{equation}
\text{TPF}_r \equiv \text{TPF}(\zeta_r) = \frac{1}{K_2}\sum_{k_2=1}^{K_2} \mathbb{I}\left ( TP_{k_2 2} \geq \zeta_r \right )
(\#eq:empirical-TPF)
\end{equation}


### The empirical ROC plot and AUC {#empirical-definition-empirical-auc-roc}

Definitions: 

>
The inferred empirical ROC plot connects adjacent points $\left( \text{FPF}_r, \text{TPF}_r \right )$, including the origin (0,0), with straight lines plus a straight-line segment connecting the observed end-point to (1,1). Like a real ROC, this plot is constrained to lie within the unit square. The area under this plot is the empirical inferred ROC AUC, denoted $A_{\text{ROC}}$.

### The observed end-point of the ROC and its constrained property {#empirical-ROC-constrained}

The abscissa of the observed end-point $FPF_1$, is defined by:

\begin{equation}
\text{FPF}_1 \equiv \text{FPF} \left ( \zeta_1 \right ) = \frac{1}{K_1} \sum_{k_1=1}^{K_1} \mathbb{I} \left ( FP_{k_1 1} \geq \zeta_1 \right )
(\#eq:empirical-fpf-repeat)
\end{equation}

Since each case gets a single FP z-sample, and only unmarked cases get the $-\infty$ z-sample, $\text{FPF}_1 \leq 1$. 


The ordinate of the observed end-point $TPF_1$, is defined by:


\begin{equation}
\text{TPF}_1 \equiv \text{TPF}(\zeta_1) = \frac{1}{K_2}\sum_{k_2=1}^{K_2} \mathbb{I}\left ( TP_{k_2 2} \geq \zeta_1 \right )
(\#eq:empirical-TPF-repeat)
\end{equation}


Since each case gets a single TP z-sample, and only unmarked cases get the $-\infty$ z-sample, $\text{TPF}_1 \leq 1$. 

It follows that the observed end-point of the ROC (as is well known) satisfies the constrained end-point property: it lies below-left the (1,1) corner of the plot.

>
The upper-right corner (reached by counting all z-samples $\ge -\infty$) of the ROC plot is not to be confused by the observed end-point (reached by counting all z-samples $\ge \zeta_1$). 


### Illustration with a dataset {#empirical-roc-plot-illustration}

The following code uses `dataset04` to illustrate an empirical ROC plot for treatment 1 and reader 1. The reader should experiment by running `PlotEmpiricalOperatingCharacteristics(dataset04, trts = 1, rdrs = 1, opChType = ROC")$Plot` with different treatments `trts` and readers `rdrs` specified.


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, 
  trts = 1, rdrs = 1, opChType = "ROC")
print(ret$Plot)
```


Shown next is calculation of the figure of merit for this dataset. Note that in function `UtilFigureOfMerit()` the `FOM` argument has to be set to `HrAuc`, for highest rating AUC.].


```{r, echo=TRUE}
UtilFigureOfMerit(dataset04, FOM = "HrAuc")
```



```{r, echo=FALSE}
auc_HrAuc <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "HrAuc")))
```



## The alternative FROC (AFROC) plot {#empirical-AFROC}

-   Fig. 4 in [@bunch1977free] anticipated another way of visualizing FROC data. I subsequently termed this the *alternative FROC (AFROC)* plot [@chakraborty1989maximum].
-   The empirical AFROC is defined as the plot of $\text{LLF}(\zeta_r)$ along the ordinate vs. $\text{FPF}(\zeta_r)$ along the abscissa.
-   $\text{LLF}_r \equiv \text{LLF}(\zeta_r)$, the ordinate of the FROC plot, was defined in Eqn. \@ref(eq:empirical-LLFr).
-   $\text{FPF}_r \equiv \text{FPF}(\zeta_r)$, the abscissa of the ROC plot, was defined in Eqn. \@ref(eq:empirical-fpf).



### Definition: empirical AFROC plot and AUC {#empirical-definition-empirical-auc-afroc}

The empirical AFROC plot connects adjacent operating points $\left( \text{FPF}_r, \text{LLF}_r \right )$, including the origin (0,0) and (1,1), with straight lines. The area under this plot is the empirical AFROC AUC, denoted $A_{\text{AFROC}}$.

Key points:

-   The ordinates (LLF) of the FROC and AFROC are identical.
-   The abscissa (FPF) of the ROC and AFROC are identical.
-   The AFROC is a hybrid plot incorporating aspects of both ROC and FROC plots.
-   The AFROC is constrained to within the unit square.


>
Prof. Richard Swensson did not like my choice of the word "alternative" in naming this operating characteristic. I had no idea in 1989 how important this plot would later turn out to be, otherwise a more meaningful name might have been proposed. To anticipate the central message of this book, the AUC based on this plot (and weighted versions of it introduced below), are superior to the FROC-AUC and the ROC-AUC in terms of statistical power and reliability (the FROC-AUC is especially unreliable). 



### The observed end-point of the AFROC and its constrained property {#empirical-AFROC-constrained}

According to Eqn. \@ref(eq:empirical-fpf) the abscissa of the observed end-point $FPF_1 \leq 1$ and according to Eqn. \@ref(eq:empirical-LLF1a) the ordinate of the observed end-point $\text{LLF}_1 \leq 1$. It follows that the observed end-point of the AFROC satisfies the constrained end-point property, i.e., it lies below-left the (1,1) corner of the plot.


### Illustration with a dataset {#empirical-afroc-plot-illustration}

The following code uses `dataset04` to illustrate an empirical AFROC plot for treatment 1 and reader 1. 


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, 
  trts = 1, rdrs = 1, opChType = "AFROC")
print(ret$Plot)
```



Shown next are the figures of merit for this dataset for all treatment reader combinations.


```{r, echo=TRUE}
UtilFigureOfMerit(dataset04, FOM = "AFROC")
```




```{r, echo=FALSE}
auc_afroc <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "AFROC")))
```


## The weighted-AFROC plot (wAFROC) plot {#empirical-wAFROC}

The AFROC ordinate defined in Eqn. \@ref(eq:empirical-LLFr) gives equal importance to every lesion in a case. A case with more lesions will have more influence on the AFROC (see next section for an explicit demonstration of this fact). This is undesirable since each case (i.e., patient) should get equal importance in the analysis -- as with ROC analysis, one wishes to draw conclusions about the population of cases and each case is an equally valid sample from the population. In particular, one does not want the analysis to be skewed towards cases with greater numbers of lesions. [^empirical1-5]

[^empirical1-5]: Historical note: I became aware of how serious this issue could be when a researcher contacted me about using FROC methodology for nuclear medicine bone scan images, where the number of lesions on diseased cases can vary from a few to a hundred!

Another issue is that the AFROC assigns equal *clinical* importance to each lesion in a case. Lesion weights were introduced [@RN1385] to allow for the possibility that the clinical importance of finding a lesion might be lesion-dependent [@RN1966]. For example, it is possible that a diseased cases has lesions of two types with differing clinical importance; the figure-of-merit should give more credit to finding the more clinically important one. Clinical importance could be defined as the mortality associated with the specific lesion type; these can be obtained from epidemiological studies [@desantis2011breast].

Let $W_{k_2 l_2} \geq 0$ denote the *weight* (i.e., short for clinical importance) of lesion $l_2$ in diseased case $k_2$ (since weights are only applicable to diseased cases one can, without ambiguity, drop the case-level and location-level truth subscripts, i.e., the notation $W_{k_2 2 l_2 2}$ would be superfluous). For each diseased case $k_2 2$ the weights are subject to the constraint:



\begin{equation}
\sum_{l_2 =1 }^{L_{k_2 2}} W_{k_2 l_2} = 1
(\#eq:empirical-weights-constraint)
\end{equation}


The weighted lesion localization fraction $\text{wLLF}_r$ is defined by [@RN2484]:



\begin{equation}
\text{wLLF}_r \equiv \text{wLLF}\left ( \zeta_r \right ) = \frac{1}{K_2}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_r \right )
(\#eq:empirical-wLLFr)
\end{equation}


### The empirical wAFROC plot and AUC {#empirical-definition-empirical-auc-wafroc}

>
The empirical wAFROC plot connects adjacent operating points $\left ( \text{FPF}_r, \text{wLLF}_r \right )$, including the origin (0,0), with straight lines plus a straight-line segment connecting the observed end-point to (1,1). The area under this plot is the empirical weighted-AFROC AUC, denoted $A_{\text{wAFROC}}$.


### Illustration with a dataset {#empirical-wafroc-plot-illustration}

The following code uses `dataset04` to illustrate an empirical ROC plot for treatment 1 and reader 1. 


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, trts = 1, rdrs = 1, opChType = "wAFROC")
print(ret$Plot)
```


Shown next is calculation of the figure of merit for this dataset.


```{r, echo=TRUE}
UtilFigureOfMerit(dataset04, FOM = "wAFROC")
```



```{r, echo=FALSE}
auc_wafroc <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "wAFROC")))
```




## AFROC vs. wAFROC {#empirical-numerical-understanding}

The fact that the wAFROC gives equal importance to each diseased case while the AFROC gives more importance to diseased cases with more lesions can be illustrated with a fictitious small dataset consisting of $K_1 = 4$ non-diseased and $K_2 = 5$ diseased cases. The maximum number of NLs per case is two and the maximum number of lesions per case is three. The first two diseased cases have one lesion each, the third and fourth have two lesions each and the fifth has 3 lesions. Here is how we code the NL and LL z-samples (`t()` is the `R` transpose operator). The negative infinities represent unmarked locations. For example, the first non-diseased case has no NL marks, the second has one mark rated 0.5, etc., and the first diseased case has one NL mark rated 1.5, etc. The first lesion in the LL array was rated 0.9. the second was rated -0.2, ..., and the 3 lesions in the fifth diseased case were rated 1, 2.5 and 1, respectively.


```{r empirical-numerical, echo = T}
NL <- t(array(c(-Inf, -Inf,  
                 0.5, -Inf, 
                 0.7, 0.6, 
                -0.3, -Inf, 
                 1.5, -Inf, 
                -Inf, -Inf, 
                -Inf, -Inf, 
                -Inf, -Inf,
              -  Inf, -Inf), dim = c(2,9)))
LL <- t(array(c(0.9, -Inf, -Inf, 
               -0.2, -Inf,-Inf, 
                1.6, -Inf, -Inf, 
                  3,    2, -Inf, 
                  1,    2.5,  1), dim = c(3,5)))
```

The z-samples are converted to a dataset `frocData` as shown next:

```{r empirical-numerical1a, echo = T}
frocData <- Df2RJafrocDataset(NL, LL, perCase = c(1,1,2,2,3))
```


In the above code `perCase = c(1,1,2,2,3)` specifies the number of lesions per case: 1 in the first diseased case, 1 in the second, 2 in the third, ..., and 3 in the fifth. The function `Df2RJafrocDataset()` generates the dataset object. 


The lesion weights are specified in the following lines. 


```{r empirical-numerical1c, echo = T}
frocData$lesions$weights[3,] <- c(0.1, 0.9, -Inf)
frocData$lesions$weights[4,] <- c(0.9, 0.1, -Inf)
frocData$lesions$weights[5,] <- c(0.3, 0.4, 0.3)
```


The first and second diseased cases, which have only one lesion each, are assigned unit weights by default. The first lesion in the third diseased case has weight 0.1 and the second has weight 0.9 -- notice that the weights sum to unity. The fourth diseased cases has the lesion weights reversed, 0.9 and 0.1. The three lesions in the fifth diseased case are assigned weights 0.3. 0.4 and 0.3. 


```{r empirical-numerical1b, echo = F}
K1 <- 4
K2 <- 5
FP <- apply(frocData$ratings$NL, 3, max)
FP <- FP[1:K1]

afrocPlot <- PlotEmpiricalOperatingCharacteristics(
  frocData,
  trts = 1, 
  rdrs = 1, 
  opChType = "AFROC", 
  legend.position = "NULL")
afrocPlot <- afrocPlot$Plot + ggtitle("A")

wafrocPlot <- PlotEmpiricalOperatingCharacteristics(
  frocData,
  trts = 1, 
  rdrs = 1, 
  opChType = "wAFROC", 
  legend.position = "NULL")
wafrocPlot <- wafrocPlot$Plot + ggtitle("B")

FPF <- afrocPlot$data$genAbscissa
LLF <- afrocPlot$data$genOrdinate
wLLF <- wafrocPlot$data$genOrdinate
```

### NL and LL z-samples

Shown next is the `NL` z-samples array; it has 9 rows, corresponding to the total number of cases (the first four correspond to non-diseased cases and the rest to diseased cases) and 2 columns, corresponding to the maximum number of NLs per case.  


```{r, echo=FALSE}
cat("NL z-samples:\n")
NL
```

Shown next is the `LL` z-samples array; it has 5 rows, corresponding to the total number of diseased cases, and 3 columns, corresponding to the maximum number of LLs per case:


```{r, echo=FALSE}
cat("LL z-samples:\n")
LL
```

### Lesion weights

Show next is the lesion weights array:


```{r, echo=FALSE}
cat("lesion weights:\n")
frocData$lesions$weights
```


The negative infinities represent missing values.


### FPF

Shown next is the `FP` z-samples array. Since FPs are only possible on non-diseased cases, this is a length 4 row-vector. Each value is the maximum of the two `NL` z-samples for the corresponding non-diseased case. As an example, for case #3 the maximum of the two `NL` values is 0.7.   


```{r, echo=FALSE}
cat("FP z-samples:\n")
FP
```


Here are the sorted `FP` z-samples. 

```{r, echo=FALSE}
sort(FP)
```


The sorting makes it easy to construct the `FPF` values, shown next.


```{r, echo=FALSE}
cat("FPF values:\n")
for (i in 1:length(FPF)) {
  cat(sprintf (" %.3f", FPF[i]))
}
cat("\n")
```


The first non-zero `FPF` value is $0.25 = 1/4$, which occurs when a conceptual sliding threshold is lowered past the highest `FP` value, namely 0.7. (The 0.25 comes from 1 `FP` case divided by 4 non-diseased cases.) The next `FPF` value is $0.5 = 2/4$, which occurs when the sliding threshold is lowered past the next-highest `FP` value, namely 0.5. The next `FPF` value is 0.75 and the last `FPF` value is unity.

### LLF

Here are the sorted `LL` z-samples. 


```{r, echo=FALSE}
sort(LL)
```


The `LLF` values are shown next.


```{r, echo=FALSE}
cat("LLF values:\n")
for (i in 1:length(LLF)) {
  cat(sprintf (" %.3f", LLF[i]))
}
cat("\n")
```



The first non-zero `LLF` value is 0.111, which occurs when the sliding threshold is lowered past the highest `LL` value, namely 3. The 0.111 comes from 1 LL divided by 9, the total number of lesions. The next `LLF` value is 0.222, which occurs when the sliding threshold is lowered past the next-highest `LL` value, namely 2.5 (2/9 = 0.222). The next `LLF` value is 0.333, which occurs when the sliding threshold is lowered past 2 (3/9 = 0.333), and so on.


### wLLF

The sorted `LL` z-samples array and the weights are used to construct the `wLLF` values shown next.


```{r, echo=FALSE}
cat("wLLF values:\n")
for (i in 1:length(LLF)) {
  cat(sprintf (" %.3f", wLLF[i]))
}
cat("\n")
```


The first non-zero `wLLF` value is 0.18, which occurs when the sliding threshold is lowered past the highest `LL` value, namely 3. Since this comes from lesion #1 on diseased case #4, whose weight is 0.9, the corresponding incremental vertical jump is $1/5*0.9 = 0.18$, which is also the net `wLLF` value corresponding to the most suspicious lesion crossing the cutoff. Notice that we are dividing by 5, the total number of diseased cases, not 9 as in the `LLF` example.   

The next `wLLF` value is 0.26, which occurs when the sliding threshold is lowered past the next-highest `LL` value, namely 2.5, which comes from the 2nd lesion on the fifth diseased case with weight 0.4. The incremental jump in `wLLF` is $1/5*0.4 = 0.08$. The net `wLLF` value corresponding to the two most suspicious lesions crossing the cutoff is $1/5*0.9 + 1/5*0.4 = 0.26$. 

The next `wLLF` value is 0.280, which occurs when the sliding threshold is lowered past 1.6, which comes from lesion #1 on diseased case #3, with weight 0.1, and the net `wLLF` value corresponding to the three most suspicious lesions crossing the cutoff is $1/5*0.9 + 1/5*0.4 + 1/5*0.1 = 0.280$, and so on. 

The reader should complete these hand-calculations to reproduce all of the `wLLF` values shown above. The values (FPF, LLF and wLLF) defining the AFROC and wAFROC are summarized here:

```{r, echo=FALSE}
x <- data.frame(FPF=FPF, LLF=LLF, wLLF=wLLF)
x
```

This shows that the empirical AFROC is defined by the following 6 operating points: (0,0), (0,0.7777778), (0.5,0.7777778), (0.5,0.8888889), (0.75, 0.8888889) and (1,1). Likewise, the empirical wAFROC is defined by the following 6 operating points: (0,0), (0,0.62), (0.5,62), (0.5,0.82), (0.75, 0.82) and (1,1). In each case one simply connects neighboring points with straight lines. 

The hand-calculations also show why the AFROC gives more importance to diseased cases with more lesions while the wAFROC does not.

* Considering the AFROC, diseased case #5 with three lesions which contributes three vertical jumps to LLF totaling $3/9 = 0.333333$ ^[The jumps need not be contiguous: they will be contiguous only if the three lesion z-samples are closely spaced such that they are crossed in succession, in any order, by the sliding virtual threshold; otherwise the jumps will be interspersed by jumps from lesions in other cases.]. This is larger than the contribution to LLF of diseased case #1 with one lesion $1/9 = 0.11111$. 

* Considering the wAFROC, the three lesions on diseased case #5 contribute $1/5*0.3 + 1/5*0.4 + 1/5*0.3 = 0.2$ to wLLF, the same as diseased case #1, $1/5*1 = 0.2$. 


Shown in Fig. \@ref(fig:plots-afrocPlot-wafrocPlot) are the empirical AFROC and wAFROC plots.

```{r plots-afrocPlot-wafrocPlot, fig.cap="Left: AFROC plot; Right: corresponding wAFROC plot.", fig.show='hold', echo=FALSE}
grid.arrange(afrocPlot, wafrocPlot, ncol = 2)
```


The operating points can be used to numerically calculate the AUCs under the empirical AFROC and wAFROC plots, as done in the following code:

```{r, echo=T}
afroc_auc <- 0.5 * 0.7777778 + 
  0.25 * 0.8888889 + 
  0.25 * 0.8888889 + (1 - 0.8888889) * 0.25 /2

wafroc_auc <- 0.5 * 0.62 + 
  0.25 * 0.82 + 
  0.25 * 0.82 + 
  (1 - 0.82) * 0.25 /2

cat("afroc_auc =", afroc_auc,"\n")
cat("wafroc_auc =", wafroc_auc,"\n")
```


The same AUC results are obtained using the function `UtilFigureOfMerit`:


```{r, echo=TRUE}
cat("AFROC AUC = ", 
    as.numeric(UtilFigureOfMerit(frocData, FOM = "AFROC")),"\n")
cat("wAFROC AUC = ", 
    as.numeric(UtilFigureOfMerit(frocData, FOM = "wAFROC")),"\n")
```



It is seen that the empirical plots consist of upward and rightward jumps starting from the origin (0,0) and ending at (1,1). Each upward jump is associated with a `LL` z-sample exceeding a virtual threshold. Each rightward jump is associated with a `FP` z-sample exceeding the threshold. Upward jumps tend to increase the area under the AFROC-based plots and rightward jumps tend to decrease it, i.e., correct decisions are rewarded and incorrect ones are penalized. If there are only upward jumps then the empirical plot rises from the origin to (0,1), where all lesions are correctly localized without any generating FPs and performance is perfect -- the straight-line extension of the plot to (1,1) ensures that the net area is unity. If there are only horizontal jumps the operating point moves from the origin to (1,0), where none of the lesions are localized and every non-diseased case has at least one NL mark and despite the straight line extension to (1,1), the net area is zero. This represents worst possible performance. 

## Interpretation of AUCs {#empirical-meanings}

>
* The area under the AFROC is the probability that a lesion is rated higher than any mark on a non-diseased case.
* The area under the weighted-AFROC is lesion-weight adjusted probability that a lesion is rated higher than any mark on a non-diseased case.



## Instructive examples {#empirical-instructive-cases}

I am including a few extreme cases that I have found to be instructive. These include chance level performance and observers who do not generate any marks.

### The FROC {#empirical-instructive-cases-FROC}

The chance level FROC is a "flat-liner" hugging the x-axis except for a possible upturn at large NLF. For an observer who does not generate any marks the FROC plot contains but one point, the origin, and $A_{\text{FROC}}=0$.


### The ROC {#empirical-instructive-cases-ROC}

The chance level ROC is the positive diagonal connecting (0,0) to (1,1). There could be several operating points on this diagonal (apart from sampling effects) but $A_{\text{ROC}}=0.5$. 

An observer who does not generate any marks the ROC plot consists of two points, the origin and (1,1) and $A_{\text{ROC}}=0.5$.


### The AFROC {#empirical-instructive-cases-AFROC}


#### Chance level performance {#empirical-instructive-cases-AFROC-chance-level}


The chance level AFROC is not the line connecting (0,0) to (1,1). This is a serious misconception that I have encountered. A chance level observer will generate a "flat-liner" but this time the plot ends at (1,0) and the straight line extension will be a vertical line connecting (1,0) to (1,1) and $A_{\text{AFROC}}=0$. 


#### Case of no marks {#empirical-empirical-instructive-cases-AFROC-no-marks}

This is a highly interesting and instructive example. The AFROC plot is a straight line connecting (0,0) and (1,1) which could be mistakenly termed as representing chance level performance. This is far from the truth.


>
An expert radiologist successfully screens out non-diseased cases and sees nothing suspicious in any of them – not mistaking variants of normal anatomy for false lesions on non-diseased cases is a sign of expertise. Suppose the lesions on diseased cases are very difficult to see, even for the expert, so the radiologist does not mark any of them in addition to not marking any NLs on diseased cases. **The expert radiologist therefore does not report anything, i.e., generates no marks, and the operating point is "stuck" at the origin (0,0).** Even in this unusual situation, one would be justified in connecting the origin to (1,1) and claiming area under AFROC is 0.5. The extension gives the radiologist credit for not marking any non-diseased case; of course, the radiologist does not get any credit for marking any of the lesions. An even better radiologist, who finds and marks some of the lesions, will score higher, and AFROC-AUC will exceed 0.5. 


### The wAFROC {#empirical-instructive-cases-wAFROC}

Similar comments apply to the wAFROC as already described above for AFROC.


## FROC-AUC is a poor measure {#empirical-froc-auc-poor}

Regarding the ROC-AUC, i.e., $A_{\text{ROC}}$, as the gold standard against which all other figures of merit should be compared for consistency in orderings, shown next are plots of $A_{\text{FROC}}$, $A_{\text{AFROC}}$ and $A_{\text{wAFROC}}$ vs. $A_{\text{ROC}}$ for the dataset used in the previous illustrations. 

### Plot of FROC AUC vs. ROC AUC

```{r, echo=FALSE}
df <- data.frame(auc_HrAuc = as.vector(auc_HrAuc), 
                 auc_froc = as.vector(auc_froc))
fit <- lm(auc_froc ~ auc_HrAuc, df)
fit1 <- summary(fit)
r2 <- fit1$r.squared
```


The following is the plot of $A_{\text{FROC}}$ vs. $A_{\text{ROC}}$. There are 20 points on the plot corresponding to 5 treatments and 4 readers. The straight line is a least squares fit. Note the poor correlation and negative slope between $A_{\text{FROC}}$ and $A_{\text{ROC}}$, $R^2$ = `r r2`, slope = `r fit$coefficients[2]`. 



```{r, echo=FALSE}
p1 <- ggplot(data = df, aes(x = auc_HrAuc, y = auc_froc)) +
  geom_smooth(method = "lm", 
              se = FALSE, color = "black", formula = y ~ x) +
  geom_point() + 
  scale_x_continuous(limits = c(0.75, 0.92)) +
  scale_y_continuous(limits = c(0, 0.5)) +
  labs(title = "froc vs. roc") 
print(p1)
```


The reason should be fairly obvious. The FROC is unconstrained in the NLF direction and the area under the plot *rewards* an observer who generates more NLs, i.e., as the operating point moves further to the right. (The perfect observer whose FROC plot is the vertical line connecting (0,0) and (0,1) is heavily penalized since $A_{\text{FROC}} = 0$ for this observer.) One can try to try to avoid this problem by limiting the area under the FROC to that between $\text{NLF} = 0$ and $\text{NLF} = x$ where $x$ is an arbitrarily chosen fixed value -- indeed the partial area procedure has been used by CAD algorithm designers. Since the choice of $x$ is arbitrary the procedure is subjective. The method would fail for any observer with $\text{NLF}_{max} < x$ as then the partial area is undefined. This forces the algorithm designer to chose $x$ as the minimum of all $\text{NLF}_{max}$ values over all observers and treatments, which would exclude a lot of data and lead to a statistical power penalty.


### Plot of AFROC AUC vs. ROC AUC


```{r, echo=FALSE}
df <- data.frame(auc_HrAuc = as.vector(auc_HrAuc), 
                 auc_afroc = as.vector(auc_afroc))
fit <- lm(auc_afroc ~ auc_HrAuc, df)
fit1 <- summary(fit)
r2 <- fit1$r.squared
```

The following is the plot of $A_{\text{AFROC}}$ vs. $A_{\text{ROC}}$. This time there is a strong positive correlation between the two, $R^2$ = `r r2`, slope = `r fit$coefficients[2]`. The reason is that the AFROC is fully contained in the unit square. An observer who generates more NL marks will yield smaller $A_{\text{AFROC}}$ -- as the abscissa of the AFROC approaches unity the restriction to the unit square ensures that AUC will decrease. 



```{r, echo=FALSE}
p1 <- ggplot(data = df, aes(x = auc_HrAuc, y = auc_afroc)) +
  geom_smooth(method = "lm", 
              se = FALSE, color = "black", formula = y ~ x) +
  geom_point() + 
  scale_x_continuous(limits = c(0.75, 0.92)) +
  scale_y_continuous(limits = c(0.6, 0.85)) +
  labs(title = "afroc vs. roc") 
print(p1)
```


### Plot of wAFROC AUC vs. ROC AUC


```{r, echo=FALSE}
df <- data.frame(auc_HrAuc = as.vector(auc_HrAuc), 
                 auc_wafroc = as.vector(auc_wafroc))
fit <- lm(auc_wafroc ~ auc_HrAuc, df)
fit1 <- summary(fit)
r2 <- fit1$r.squared
```


The following is the plot of $A_{\text{wAFROC}}$ vs. $A_{\text{ROC}}$. Again, there is a strong positive correlation between the two, $R^2$ = `r r2`, slope = `r fit$coefficients[2]`. The reason is that the wAFROC is also fully contained in the unit square.



```{r, echo=FALSE}
p1 <- ggplot(data = df, aes(x = auc_HrAuc, y = auc_wafroc)) +
  geom_smooth(method = "lm", 
              se = FALSE, color = "black", formula = y ~ x) +
  geom_point() + 
  scale_x_continuous(limits = c(0.75, 0.92)) +
  scale_y_continuous(limits = c(0.6, 0.85)) +
  labs(title = "wafroc vs. roc") 
print(p1)
```




## The AFROC1 plot {#empirical-AFROC1}

Historically the AFROC originally used a different definition of FPF, resulting in what is retrospectively termed the AFROC1 plot. Since NLs can occur on diseased cases, it is possible to define an inferred-"FP" z-sample on a *diseased case* as the maximum of all NL z-samples on the case, or $-\infty$ if the case has no NLs. The quotes emphasize that this is non-standard usage of ROC terminology: in an ROC study, a FP can only occur on a *non-diseased case*. Since both case-level truth states are allowed, the highest false positive (FP) z-sample for case $k_t t$ is [the "1" superscript below is necessary to distinguish it from Eqn. \@ref(eq:empirical-FP)]:


\begin{equation}
\left.
\begin{aligned}
\begin{matrix}
FP_{k_1 t}^1=&\max_{l_1} \left ( z_{k_t t l_1 1 } \right ) & \text{if} & l_1 \neq \varnothing\\
FP_{k_t t}^1=&-\infty & \text{if} & l_1 = \varnothing
\end{matrix}
\end{aligned}
\right \}
(\#eq:empirical-FP1)
\end{equation}



$FP_{k_t t}^1$ is the maximum over all latent NL marks, labeled by the location index $l_1$, occurring in case $k_t t$, or $-\infty$ if $l_1 = \varnothing$. The corresponding false positive fraction $FPF_r^1$ is defined by:


\begin{equation}
\left.
\begin{aligned}
FPF_r^1 
&\equiv FPF_r^1\left ( \zeta_r \right ) \\
&= \frac{1}{K_1+K_2}\sum_{t=1}^{2}\sum_{k_t=1}^{K_t} \mathbb{I}\left ( FP_{k_t t}^1 \geq \zeta_r \right )
\end{aligned}
\right \}
(\#eq:empirical-fpf1)
\end{equation}

Note the subtle differences between Eqn. \@ref(eq:empirical-fpf) and Eqn. \@ref(eq:empirical-fpf1). The latter counts "FPs" on non-diseased and diseased cases while Eqn. \@ref(eq:empirical-fpf) counts FPs on non-diseased cases only, and for that reason the denominators in the two equations are different. The advisability of allowing a diseased case to generate both a TP and a FP may be questionable, however, this plot is useful in applications where all or almost all cases are diseased.

### Empirical AFROC1 plot and  AUC {#empirical-definition-empirical-auc-afroc1}

>
The empirical AFROC1 plot connects adjacent operating points $\left ( FPF_r^1, \text{LLF}_r \right )$, including the origin (0,0) and (1,1), with straight lines. The only difference between AFROC1 plot and the AFROC plot is the x-axis. The area under this plot is the empirical AFROC1 AUC, denoted $A_{\text{AFROC1}}$.



### Illustration with a dataset {#empirical-afroc1-plot-illustration}

The following code uses `dataset04` to illustrate an empirical ROC plot for treatment 1 and reader 1.


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, 
  trts = 1, rdrs = 1, opChType = "AFROC1")
print(ret$Plot)
```



Shown next is calculation of the figure of merit for this dataset.


```{r, echo=TRUE}
UtilFigureOfMerit(dataset04, FOM = "AFROC1")
```




```{r, echo=FALSE}
auc_afroc1 <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "AFROC1")))
```




## The weighted-AFROC1 (wAFROC1) plot {#empirical-wAFROC1}

Similar to the logic for introducing the wAFROC plot as a way of giving equal importance to all diseased cases and allowing the clinical importance of lesions to be modeled by appropriate weights, we introduce a weighted version of the AFROC1, termed the wAFROC1. The ordinate of this plot is the weighted lesion localization fraction $\text{wLLF}_r$ defined in Eqn. \@ref(eq:empirical-wLLFr). The abscissa is FPF1, defined in Eqn. \@ref(eq:empirical-fpf1). 



### Empirical wAFROC1 plot and  AUC {#empirical-definition-empirical-auc-wafroc1}

>
The empirical weighted-AFROC1 (wAFROC1) plot connects adjacent operating points $\left ( FPF_r^1, \text{wLLF}_r \right )$, including the origin (0,0) and (1,1), with straight lines. The only difference between it and the wAFROC plot is in the x-axis. The area under this plot is the empirical weighted-AFROC AUC, denoted $A_{\text{wAFROC1}}$.


### Illustration with a dataset {#empirical-wafroc1-plot-illustration}

The following code uses `dataset04` to illustrate an empirical wAFROC1 plot for treatment 1 and reader 1.


```{r, echo=TRUE}
ret <- PlotEmpiricalOperatingCharacteristics(
  dataset04, 
  trts = 1, rdrs = 1, opChType = "wAFROC1")
print(ret$Plot)
```


Shown next is calculation of the figure of merit for this dataset.


```{r, echo=TRUE}
UtilFigureOfMerit(dataset04, FOM = "wAFROC1")
```




```{r, echo=FALSE}
auc_wafroc1 <- as.numeric(as.matrix(UtilFigureOfMerit(dataset04, FOM = "wAFROC1")))
```



## Summary {#empirical-summary}

Here is a summary of the plots defined from FROC data along with my recommendations:

```{r empirical-summary, echo=FALSE}
fomTable = array(dim = c(6,4))
fomTable[1,]  <- c("FROC", "NLF", "LLF", "Not recommended")
fomTable[2,]  <- c("ROC", "FPF", "TPF", "")
fomTable[3,]  <- c("AFROC", "FPF", "LLF", "")
fomTable[4,]  <- c("wAFROC", "FPF", "wLLF", "Recommended when $K_1 \\approx K_2$")
fomTable[5,]  <- c("AFROC1", "FPF1", "LLF", "")
fomTable[6,]  <- c("wAFROC1", "FPF1", "wLLF", "Recommended when $K_1 \\ll K_2$")
df <- as.data.frame(fomTable)
colnames(df) <- c("OC", "Abscissa", "Ordinate", "Comments")
knitr::kable(df, caption = "Summary of plots from FROC data. All empirical plots except FROC include a straight line extension from the uppermost observed point to (1,1).", escape = FALSE)
```



## Appendix 1: Proof of formula for wAFROC-AUC {#empirical-theorem-1}


The area $\text{A}_{wAFROC}$ under the empirical wAFROC plot is obtained by summing the areas of individual trapezoids defined by dropping vertical lines from each pair of adjacent operating points to the x-axis. A sample plot is shown Fig. \@ref(fig:empirical-theorems).

```{r empirical-theorems, out.width="300pt", fig.align = "center", fig.cap="An example wAFROC plot; from left to right, the two shaded areas correspond to $A_i$ and  $A_0$, respectively, defined below.", fig.show='hold', echo=FALSE}
knitr::include_graphics("images/03-empiricalPlots/proofFigure.png")
```



<!-- Following code commented out as it might break ggplot2 -->
<!-- Replaced with above code importing the png file -->



<!-- ```{r, echo=FALSE, cache=TRUE} -->
<!-- ratings <- c(2.012014287,	2.303861492,	-2.67621502,	-0.731465008,	 -->
<!--              2.012014287,	2.923751322, 0.778163587, -1.080014238,	-2.67621502) -->
<!-- truth <- c(rep(0, 4), rep(1, 5)) -->
<!-- weight <- c(rep(5, 4), 3, 5, 2, 2, 3) / 5 -->
<!-- pos <- rep(0, 9) -->
<!-- pos[5] <- 0.1 -->
<!-- ret <- data.frame(ratings = ratings, truth = truth, weight = weight, pos = pos) -->

<!-- fpScores <- sort(unique(ratings[truth == 0]), decreasing = TRUE) -->
<!-- llScores <- sort(unique(ratings[truth == 1]), decreasing = TRUE) -->
<!-- scores <- sort(unique(ratings), decreasing = TRUE) -->
<!-- fpf <- cumsum(as.vector(table(ratings[truth == 0])))/sum(truth == 0) -->
<!-- wllf <- rep(NA, length(llScores)) -->
<!-- for (z in 1:length(llScores)){ -->
<!--   wllf[z] <- sum(weight[(ratings == llScores[z]) & (truth == 1)]) -->
<!-- } -->
<!-- wllf <- cumsum(wllf)/sum(weight[5:9]) -->
<!-- FPF <- 0:length(scores) -->
<!-- wLLF <- FPF -->

<!-- numFP <- 1 -->
<!-- numLL <- 1 -->
<!-- for (k in 1:length(scores)) { -->
<!--   if (!is.na(fpScores[numFP]) && fpScores[numFP] >= scores[k]) { -->
<!--     FPF[k + 1] <- fpf[numFP] -->
<!--     numFP <- numFP + 1 -->
<!--   } else { -->
<!--     FPF[k + 1] <- FPF[k] -->
<!--   } -->

<!--   if (!is.na(llScores[numLL]) && llScores[numLL] >= scores[k]) { -->
<!--     wLLF[k + 1] <- wllf[numLL] -->
<!--     numLL <- numLL + 1 -->
<!--   } else { -->
<!--     wLLF[k + 1] <- wLLF[k] -->
<!--   } -->
<!-- } -->
<!-- FPF[k + 1] <- 1 -->
<!-- wLLF[k + 1] <- 1 -->

<!-- wAFROC_Points <- data.frame(FPF = FPF, wLLF = wLLF) -->

<!-- zetaZero_x <- wAFROC_Points$FPF[length(wAFROC_Points$FPF)] -->
<!-- zetaZero_y <- wAFROC_Points$wLLF[length(wAFROC_Points$wLLF)] -->
<!-- Zero <- data.frame(x = zetaZero_x, y = zetaZero_y, label = "0") -->
<!-- zetaOne_x <- wAFROC_Points$FPF[length(wAFROC_Points$FPF) - 1] -->
<!-- zetaOne_y <- wAFROC_Points$wLLF[length(wAFROC_Points$wLLF) - 1] -->
<!-- One <- data.frame(x = zetaOne_x, y = zetaOne_y, label = "1") -->
<!-- zeta1_x <- wAFROC_Points$FPF[3] -->
<!-- zeta1_y <- wAFROC_Points$wLLF[3] -->
<!-- zeta1 <- data.frame(x = c(zeta1_x, zeta1_x), y = c(0, zeta1_y)) -->
<!-- i1 <- data.frame(x = zeta1_x, y = zeta1_y, label = "i + 1") -->
<!-- zeta2_x <- wAFROC_Points$FPF[4] -->
<!-- zeta2_y <- wAFROC_Points$wLLF[4] -->
<!-- zeta2 <- data.frame(x = c(zeta2_x, zeta2_x), y = c(0, zeta2_y)) -->
<!-- i2 <- data.frame(x = zeta2_x, y = zeta2_y, label = "i") -->

<!-- shade1 <- data.frame(FPF = c(zeta2_x, zeta1_x, zeta1_x, zeta2_x), wLLF = c(zeta2_y, zeta1_y, 0, 0)) -->
<!-- shade2 <- data.frame(FPF = c(1, 1, 0.75, 0.75), wLLF = c(1, 0, 0, 0.8)) -->

<!-- p <- ggplot(wAFROC_Points, aes(x = FPF, y = wLLF) ) + geom_polygon(data = shade1, fill = 'grey') + geom_polygon(data = shade2, fill = 'grey') +  -->
<!--   geom_line(size = 1) + geom_point(size = 4) +  -->
<!--   geom_line(data = zeta1, aes(x = x, y = y), linetype = 2) + geom_line(data = zeta2, aes(x = x, y = y), linetype = 2) + -->
<!--   geom_segment(aes(x = 0.75, y = 0, xend = 0.75, yend = 0.8), linetype = 2) +   -->
<!--   geom_segment(aes(x = 1, y = 0.8, xend = 0.75, yend = 0.8), linetype = 2) +   -->
<!--   geom_text(data = Zero, aes(x = x, y = y, label = label), vjust = 2, hjust = 1.1, size = 9) +  -->
<!--   geom_text(data = One, aes(x = x, y = y, label = label), vjust = 0.5, hjust = 1.2, size = 10) +  -->
<!--   geom_text(data = i1, aes(x = x, y = y, label = label), vjust = -0.5, hjust = 1, size = 10) +  -->
<!--   geom_text(data = i2, aes(x = x, y = y, label = label), vjust = -1.9, hjust = 3, size = 10) +  -->
<!--   annotation_custom(grob = textGrob(bquote(italic(wLLF["1"])), -->
<!--                                     gp = gpar(fontsize = 8)),  -->
<!--                     xmin = 0.87, xmax = 0.87,  -->
<!--                     ymin = 0.47, ymax = 0.47) + -->
<!--   geom_segment(aes(x = 0.85, y = 0.5, xend = 0.75, yend = 0.6), arrow = arrow(angle = 20, length = unit(0.5, "cm"))) +  -->
<!--   annotation_custom(grob = textGrob(bquote(italic(wLLF[i + "1"])), -->
<!--                                     gp = gpar(fontsize = 8)),  -->
<!--                     xmin = zeta1_x - 0.15, xmax = zeta1_x - 0.05,  -->
<!--                     ymin = 0.25, ymax = 0.25) + -->
<!--   geom_segment(aes(x = zeta1_x - 0.1, y = 0.22, xend = zeta1_x, yend = 0.15), arrow = arrow(angle = 20, length = unit(0.5, "cm"))) +  -->
<!--   annotation_custom(grob = grobTree(textGrob(bquote(italic(wLLF[i])), -->
<!--                                              gp = gpar(fontsize = 8))),  -->
<!--                     xmin = zeta2_x + 0.05, xmax = zeta2_x + 0.15,  -->
<!--                     ymin = 0.35, ymax = 0.35) + -->
<!--   geom_segment(aes(x = zeta2_x + 0.1, y = 0.32, xend = zeta2_x, yend = 0.25), arrow = arrow(angle = 20, length = unit(0.5, "cm"))) +  -->
<!--   annotation_custom(grob = textGrob(bquote(italic(FPF[i]-FPF[i + "1"])), -->
<!--                                     gp = gpar(fontsize = 8)),  -->
<!--                     xmin = 0.375, xmax = 0.375,  -->
<!--                     ymin = 0.1, ymax = 0.1) + -->
<!--   geom_segment(aes(x = 0.375, y = 0.09, xend = 0.3, yend = 0), arrow = arrow(angle = 20, length = unit(0.5, "cm"))) +  -->
<!--   annotation_custom(grob = textGrob(bquote(italic(1-FPF["1"])), -->
<!--                                     gp = gpar(fontsize = 8)),  -->
<!--                     xmin = 0.875, xmax = 0.875,  -->
<!--                     ymin = 0.7, ymax = 0.7) + -->
<!--   geom_segment(aes(x = 0.875, y = 0.72, xend = 0.9, yend = 0.8), arrow = arrow(angle = 20, length = unit(0.5, "cm"))) +  -->
<!--   theme_bw() + theme(panel.grid.major = element_blank(), panel.grid.minor = element_blank(),  -->
<!--                      axis.text = element_text(size = 8), axis.title = element_text(size = 8)) + -->
<!--   scale_x_continuous(expand = c(0, 0)) + scale_y_continuous(expand = c(0, 0)) + -->
<!--   coord_cartesian(ylim = c(0,1), x = c(0,1)) -->
<!-- ``` -->

<!-- ```{r empirical-theorems, fig.cap="An example wAFROC plot; from left to right, the two shaded areas correspond to $A_i$ and  $A_0$, respectively, defined below.", fig.show='hold', echo=FALSE} -->
<!-- print(p) -->
<!-- ``` -->

The operating point labeled $i$ has coordinates $\left ( \text{FPF}_i, \text{wLLF}_i \right )$ given by Eqn. \@ref(eq:empirical-fpf) and Eqn. \@ref(eq:empirical-wLLFr).


The area $A_i$ of the leftmost shaded trapezoid in Fig. \@ref(fig:empirical-theorems) is:


\begin{equation}
A_i = \frac{\left (\text{FPF}_i - \text{FPF}_{i+1}\right )\left (\text{wLLF}_i + \text{wLLF}_{i+1}\right )}{2}
(\#eq:empirical-auc-1)
\end{equation}


The weighted lesion localization fraction $\text{wLLF}_r$ corresponding to threshold $\zeta_r$ is defined by Eqn. \@ref(eq:empirical-wLLFr). It follows that:


\begin{equation}
\left. 
\begin{aligned}
A_i =&  \frac{\left (\text{FPF}_i - \text{FPF}_{i+1}\right )}{2} \times \\ 
& \frac{1}{K_2}\left[ \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_i \right ) \right. \\
&+ \left. \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_{i+1} \right ) \right]  
\end{aligned}
\right \} 
(\#eq:empirical-theorem2)
\end{equation}


Using the probabilistic relation:


\begin{equation}
\mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_i \right ) = \mathbb{I}\left ( \zeta_{i} \leq z_{k_2 2 l_2 2} < \zeta_{i+1} \right ) + \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_{i+1} \right )
(\#eq:empirical-appendix-1)
\end{equation}

we can expand the first term inside the square bracket:


\begin{equation}
\left. 
\begin{aligned}
A_i =&  \frac{\left (\text{FPF}_i - \text{FPF}_{i+1}\right )}{2K_2} \times \\ 
& \left[ \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( \zeta_{i} \leq z_{k_2 2 l_2 2} < \zeta_{i+1} \right ) \right. \\
&+ \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_{i+1} \right ) \\ 
&+ \left. \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_{i+1} \right ) \right]  
\end{aligned}
\right \} 
\end{equation}


The last two terms are equal, therefore:


\begin{equation}
\left. 
\begin{aligned}
A_i =& \frac{\left (\text{FPF}_i - \text{FPF}_{i+1}\right )}{K_2} \times \\ 
& \left[ \frac{1}{2} \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( \zeta_{i} \leq z_{k_2 2 l_2 2} < \zeta_{i+1} \right ) \right. \\
& +\left. \sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}}W_{k_2 l_2} \mathbb{I}\left ( z_{k_2 2 l_2 2} \geq \zeta_{i+1} \right ) \right]  
\end{aligned}
\right \} 
(\#eq:empirical-theorem3)
\end{equation}



The final steps of the proof require that the z-samples be converted to integer ratings, which can be done without loss of ordering information if the number of bins is sufficiently large. Let $r_{k_t t l_s s}$  denote the integer rating of mark $k_t tl_s s$, which implies that marks with z-samples satisfying  $\zeta_i \leq z_{k_t tl_s s} < \zeta_{i+1}$,  where $i=0,1,...R$, are rated $i$ (dummy thresholds $\zeta_0$ and $\zeta_{R+1}$ are defined as $-\infty$ and $+\infty$, respectively). 


From Eqn. \@ref(eq:empirical-fpf) it follows that:



\begin{equation}
\left. 
\begin{aligned}
\text{FPF}_i - \text{FPF}_{i+1}=& \frac{1}{K_1} \left[ \sum_{k_1=1}^{K_1} \mathbb{I}\left ( \max_{l_1} \left (z_{k_1 1 l_1 1}  \right ) \geq \zeta_i \right ) - \sum_{k_1=1}^{K_1} \mathbb{I}\left ( z_{k_1 1 l_1 1} \geq \zeta_{i+1} \right ) \right] \\
=& \frac{1}{K_1} \sum_{k_1=1}^{K_1} \mathbb{I}\left ( \zeta_i \leq \max_{l_1} \left (z_{k_1 1 l_1 1}  \right ) < \zeta_{i+1} \right ) 
\end{aligned}
\right \} 
(\#eq:empirical-theorem4)
\end{equation}



Because of the binning rule, $\mathbb{I}\left ( \zeta_i \leq \max_{l_1} \left (z_{k_1 1 l_1 1}  \right ) < \zeta_{i+1} \right )$  can be replaced by $\mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = i \right )$, $\mathbb{I}\left ( \zeta_i \leq z_{k_2 2l_22} < \zeta_{i+1} \right )$  can be replaced by $\mathbb{I}\left ( r_{k_2 2l_22} = i \right )$ and $\mathbb{I}\left (z_{k_2 2l_22} \geq \zeta_{i+1} \right )$ can be replaced by $\mathbb{I}\left (r_{k_2 2l_22} > i \right )$. Then Eqn. \@ref(eq:empirical-theorem2) can be re-written as:


\begin{equation}
\left. 
\begin{aligned}
\text{A}_i =& \frac{1}{K_1K_2}  \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}}\sum_{k_1=1}^{K_1} \\
&\left [ \frac{1}{2} W_{k_2l_2} \mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = i  \right )\mathbb{I}\left ( r_{k_2 2 l_2 2} = i\right ) \right. \\
+& \left. \mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = i  \right )\mathbb{I}\left ( r_{k_2 2 l_2 2} > i \right )  \right ]
\end{aligned}
\right \} 
(\#eq:empirical-theorem5)
\end{equation}


Eqn. \@ref(eq:empirical-theorem5) follows from the property of the indicator function, which constrains $i$ in the indicator functions inside the square bracket in Eqn. (17) to  $\max_{l_1} \left ( r_{k_1 1 l_1 1} \right )$, where the functions are unity and otherwise they are zero. 


Summing over all values of $i$, one gets for the total area under the empirical wAFROC plot: 


\begin{equation}
\begin{aligned}
\text{A}_{wAFROC} =& \frac{1}{K_1K_2}  \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}}\sum_{k_1=1}^{K_1} W_{k_2l_2} \left( A+B \right)
\end{aligned}
(\#eq:empirical-theorem6)
\end{equation}


where A and B are defined by:


\begin{equation}
\left. 
\begin{aligned}
A =& \mathbb{I}\left ( r_{k_2 2l_2 2} = \max_{l_1} \left (r_{k_1 1l_1 1}  \right )  \right ) \\
B =& \mathbb{I}\left ( r_{k_22 l_2 2} > \max_{l_1} \left (r_{k_11 l_1 1}  \right )  \right )  
\end{aligned}
\right \} 
(\#eq:empirical-theorem6a)
\end{equation}


Defining the Wilcoxon kernel function $\psi(x,y)$ by:


\begin{equation}
\left. 
\begin{matrix}
\begin{aligned}
&\psi\left( x,y \right) = 1 &  x < y\\
&\psi\left( x,y \right) = 0.5  & x = y \\
&\psi\left( x,y \right) = 0  & x > y
\end{aligned}
\end{matrix}
\right \} 
(\#eq:empirical-wilcoxon-kernel)
\end{equation}


It follows that:

\begin{equation}
\begin{aligned}
\text{A}_{wAFROC} =& \frac{1}{K_1K_2}  \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}}\sum_{k_1=1}^{K_1} W_{k_2l_2} \psi\left ( \max_{l_1} \left ( r_{k_1 1 l_1 1} \right ) , r_{k_2 2 l_2 2} \right )
\end{aligned}
(\#eq:empirical-theorem7)
\end{equation}


This formula is the wAFROC analog of the familiar Bamber theorem [@bamber1975area] relating the empirical AUC under the ROC to the ratings:

\begin{equation}
\text{A}_{ROC} = \frac{1}{K_1K_2}  \sum_{k_2=1}^{K_2} \sum_{k_1=1}^{K_1} \psi\left (  r_{k_11} , r_{k_22} \right )
(\#eq:empirical-bamber-theorem)
\end{equation}


where $r_{k_11}$ and $r_{k_22}$ are the ROC ratings of non-diseased case $k_11$ and diseased case $k_22$ respectively.



## Appendix 2: Interpretation of area under straight line extension of wAFROC  {#empirical-theorem-2}

We prove that the contribution of the $i = 0$ term in Eqn. \@ref(eq:empirical-theorem5) is identical to the area under the extension of the wAFROC from the uppermost empirical operating point to (1,1). 


According to Eqn. \@ref(eq:empirical-theorem5),


\begin{equation}
\left. 
\begin{aligned}
\text{A}_0 =& \frac{1}{K_1K_2}  \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}}\sum_{k_1=1}^{K_1} \\
&\left [ \frac{1}{2} W_{k_2l_2} \mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right )\mathbb{I}\left ( r_{k_2 2 l_2 2} = 0 \right ) \right. \\
+& \left. \mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right )\mathbb{I}\left ( r_{k_2 2 l_2 2} > 0 \right )  \right ]
\end{aligned}
\right \} 
(\#eq:empirical-theorem8)
\end{equation}


Rearranging the summations:


\begin{equation}
\left. 
\begin{aligned}
\text{A}_0 =& 
\frac{1}{2} \frac{1}{K_1} \sum_{k_1=1}^{K_1}\mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right ) \frac{1}{K_2} \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}} W_{k_2l_2} \mathbb{I}\left ( r_{k_2 2 l_2 2} = 0 \right ) \\
+& \frac{1}{K_1} \sum_{k_1=1}^{K_1}\mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right ) \frac{1}{K_2} \sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}} W_{k_2l_2} \mathbb{I}\left ( r_{k_2 2 l_2 2} > 0 \right )
\end{aligned}
\right \} 
(\#eq:empirical-theorem9)
\end{equation}


Consider the term: 


\begin{equation}
\frac{1}{K_1} \sum_{k_1=1}^{K_1}\mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right )
(\#eq:empirical-theorem9a)
\end{equation}


Because the indicator function and the summation over $k_1$ counts the numbers of unmarked non-diseased cases and the division by $K_1$ yields the corresponding contribution to $\text{FPF}$, the above term equals the complement of the largest observed $\text{FPF}$ value, $\text{FPF}_1$, obtained by cumulating all non-zero ratings, i.e, 1 and above. It follows that:


\begin{equation}
\begin{aligned}
\frac{1}{K_1}\sum_{k_1=1}^{K_1}\mathbb{I}\left ( \max_{l_1} \left (r_{k_1 1 l_1 1}  \right ) = 0  \right ) = 1 - \text{FPF}_1
\end{aligned}
(\#eq:empirical-theorem10)
\end{equation}


Similarly, 


\begin{equation}
\begin{aligned}
\frac{1}{K_2}\sum_{k_2=1}^{K_2} \sum_{l_2=1}^{l_{k_2}} W_{k_2l_2} \mathbb{I}\left ( r_{k_2 2 l_2 2}  = 0  \right ) = 1 - \text{wLLF}_1
\end{aligned}
(\#eq:empirical-theorem11)
\end{equation}



Using these expressions, Eqn. \@ref(eq:empirical-theorem9) reduces to:



\begin{equation}
\begin{aligned}
\text{A}_0 = \frac{\left ( 1-\text{FPF}_1 \right ) \left ( 1+\text{wLLF}_1 \right )}{2}
\end{aligned}
(\#eq:empirical-theorem12)
\end{equation}


The area under the straight line extension of the wAFROC from the observed end-point $\left ( \text{FPF}_1, \text{wLLF}_1 \right )$ to (1,1) equals the area of a rectangle with base $\left ( 1-\text{FPF}_1 \right )$ and height $\text{wLLF}_1$ plus the area of a triangle with base $\left ( 1-\text{FPF}_1 \right )$ and height $(1-\text{wLLF}_1)$: 


\begin{equation}
\left. 
\begin{aligned}
\text{Area st. line ext.} =& \left ( 1-\text{FPF}_1 \right )\text{wLLF}_1 
+ \frac{\left( 1-\text{FPF}_1 \right )\left ( 1-\text{wLLF}_1 \right )}{2}  \\
=& \left ( 1-\text{FPF}_1 \right )\left( \text{wLLF}_1 + \frac{\left ( 1-\text{wLLF}_1 \right )}{2} \right) \\
=&
\frac{\left ( 1-\text{FPF}_1 \right ) \left ( 1+\text{wLLF}_1 \right )}{2}
\end{aligned}
\right \} 
(\#eq:empirical-theorem12a)
\end{equation}


which equals the right hand side of Eqn. \@ref(eq:empirical-theorem12).


>
In other words $A_0$ is the area under the extension of the wAFROC from observed end-point $\left ( \text{FPF}_1, \text{wLLF}_1 \right )$ to (1,1). 



According to Eqn. \@ref(eq:empirical-theorem12), $A_0$ increases as $\text{FPF}_1$ decreases, i.e., as more non-diseased cases are *not marked* and as $\text{wLLF}_1$ increases, i.e., as more lesions, especially those with greater weights, *are marked*. Both observations are in keeping with the behavior of a valid performance measure.

>
* Failure to include the area under the straight-line extension results in not counting the full contribution to the FOM of unmarked non-diseased cases and unmarked lesions. This is best seen by considering the case of a perfect observer.
* For a perfect observer whose plot is the vertical line from (0,0) to (0,1) followed by the horizontal line from (0,1) to (1,1), *the area under the straight-line extension comprises the entire AUC*. Excluding it would yield zero AUC for a perfect observer which is obviously incorrect. 
* Stated equivalently, for the perfect observer $\text{FPF}_1 = 0$ and $\text{wLLF}_1 = 1$ and then, according to Eqn. \@ref(eq:empirical-theorem12), the area under the straight line extension is $A_0 = 1$.



## Appendix 3: Summary of computational formulae {#empirical-summary-computational-formulae}

### FROC


The formula for the area under the empirical FROC plot follows:


\begin{equation}
\begin{aligned}
\text{A}_{FROC} =& \frac{1}{\left ( K_1+K_2 \right )\sum_{k_2=1}^{K_2}L_{k_2 2}}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} \left( A+B \right)
\end{aligned}
(\#eq:empirical-computational-froc)
\end{equation}

where A and B are defined by:


\begin{equation}
\left. 
\begin{aligned}
A =& \sum_{k_1=1}^{K_1}\sum_{l_1=1}^{N_{k_1 1}} \mathbb{I} \left ( z_{k_11l_11} \neq  -\infty \right ) \psi\left ( z_{k_11l_11},z_{k_22l_22} \right )\\
B =&\sum_{k_2'=1}^{K_2}\sum_{l_1=1}^{N_{k_2' 2}} \mathbb{I} \left ( z_{z_{k'_22l_11}} \neq  -\infty \right )\psi\left ( z_{k_2'2l_11},z_{k_22l_22} \right )
\end{aligned}
\right \} 
(\#eq:empirical-computational-froc-ab-terms)
\end{equation}



For term A, $\mathbb{I} \left ( z_{k_11l_11} \neq  -\infty \right )$ ensures that only *finite* NL z-samples on non-diseased cases enter the computation (recall that unmarked NLs are unobservable events). Likewise, for term B, $\mathbb{I} \left ( z_{k'_22l_11} \neq  -\infty \right )$ ensures that only *finite* NL z-samples on diseased cases enter the computation. This is not needed for LLs since unmarked LLs are observable events. In term A the double summation compares using the $\psi$ function all finite NL ratings on *non-diseased* cases $k_11$ with all lesion ratings on diseased case $k_22$. In term B the double summation compares all finite NL ratings on *diseased cases* $k_2'2$ with all lesion ratings on diseased case $k_22$. The double summation in Eqn. \@ref(eq:empirical-computational-froc) sums over all diseased cases $k_22$ and all lesions in each diseased case. The final value is divided by the total number of cases and the total number of lesions.

In term B notice the need to distinguish between two indices for diseased cases $z_{k'_22l_11}$ and $z_{k_22l_22}$. 


The above formula is equivalent to creating two arrays the first containing all finite NL ratings and the second containing all lesion ratings (including unmarked lesions). One cumulates the$\psi$ function values, using the ratings in the two arrays, and divides by the total number of cases and by the total number of lesions. 

The following example uses the same 9-case FROC dataset used earlier. The AUC is calculated two ways: using geometry and using Eqn. \@ref(eq:empirical-computational-froc) implemented in function `UtilFigureOfMerit`.


```{r empirical-numerical2, echo = F, cache=F}

trapz = function(x, y)
{ ### computes the integral of y with respect to x using trapezoidal integration.
  # from caTools package
  idx = 2:length(x)
  return (as.double( (x[idx] - x[idx-1]) %*% (y[idx] + y[idx-1])) / 2)
}

frocPlot <- PlotEmpiricalOperatingCharacteristics(
  frocData,trts = 1, 
  rdrs = 1, 
  opChType = "FROC", 
  legend.position = "NULL")
#print(frocPlot$Plot)

NLF <- frocPlot$Points$genAbscissa
LLF <- frocPlot$Points$genOrdinate

cat("numerical integration yields: ", trapz(NLF, LLF), "\n")
auc_formula <- as.numeric(UtilFigureOfMerit(frocData, FOM = "FROC"))
cat("RJafroc yields: ", auc_formula, "\n")
```




### ROC

The ROC-AUC formula is much simpler.     


\begin{equation}
\begin{aligned}
\text{A}_{ROC} = \frac{1}{K_1K_2}\sum_{k_1=1}^{K_1}\sum_{k_2=1}^{K_2} \psi\left ( \max_{l_1}\left (z_{k_11l_11} \right ), \max_{l_1l_2}\left (z_{k_22l_11}, z_{k_22l_22}  \right ) \right )
\end{aligned}
(\#eq:empirical-computational-roc)
\end{equation}


The first argument of the $\psi$ function is the maximum NL rating on a non-diseased case or $-\infty$ if the case has no NL marks. The second argument is the maximum of all marks, NL or LL, on a diseased case, or $-\infty$ if the case has no marks. The value of the $\psi$ function is summed over all non-diseased and diseased cases and divided by $K_1$ and $K_2$, analogous to the Bamber theorem Eqn. \@ref(eq:empirical-bamber-theorem).


### AFROC

The formula for the area under the empirical AFROC plot follows:

\begin{equation}
\begin{aligned}
\text{A}_{AFROC} = \frac{1}{K_1\sum_{k_2=1}^{K_2}L_{k_2 2}}\sum_{k_1=1}^{K_1}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} \psi\left ( \max_{l_1}\left (z_{k_11l_11}  \right ),z_{k_22l_22} \right )
\end{aligned}
(\#eq:empirical-computational-afroc)
\end{equation}



The first argument of the $\psi$ function is the maximum NL rating on a non-diseased case or $-\infty$ if the case has no NL marks. The second argument is the LL rating on a diseased case. The value of the $\psi$ function is summed over all non-diseased cases and all lesions and divided by $K_1$ and the total number of lesions.


### wAFROC

The formula for the area under the empirical wAFROC plot follows:

\begin{equation}
\begin{aligned}
\text{A}_{wAFROC} = \frac{1}{K_1K_2}\sum_{k_1=1}^{K_1}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} W_{k_2l_2}\psi\left ( \max_{l_1}\left (z_{k_11l_11}  \right ),z_{k_22l_22} \right )
\end{aligned}
(\#eq:empirical-computational-wafroc)
\end{equation}


This is similar to Eqn. \@ref(eq:empirical-computational-afroc) except for the inclusion of the lesion weight term $W_{k_2l_2}$ inside the summations.

The FOM-statistic $\text{A}_{wAFROC}$ achieves its highest value, unity, if and only if every lesion is rated higher than any mark on non-diseased cases, for then the $\psi$ function always yields unity, and the summations yield unity. If, on the other hand, every lesion is rated lower than every mark on every non-diseased case, the $\psi$ function always yields zero, and the FOM-statistic is zero. Therefore, $0 \leq \text{A}_{wAFROC} \leq 1$. This shows that $\text{A}_{wAFROC}$ behaves like a probability and its range is *twice* that of $\text{A}_{ROC}$; recall that $0.5 \leq \text{A}_{ROC} \leq 1$ (assuming the observer has equal or better than random performance and the observer does not have the direction of the rating scale reversed). This has the consequence that treatment related differences between $\text{A}_{wAFROC}$ (i.e., effect sizes) are larger relative to the corresponding ROC effect sizes (just as temperature differences in the Fahrenheit scale are larger than the same differences expressed in the Celsius scale). This has important implications for FROC sample size estimation, see [sample size chapter](https://dpc10ster.github.io/RJafrocQuickStart/froc-sample-size.html) in the `RJafrocQuickStart` book.


The range $0 \leq \text{A}_{wAFROC} \leq 1$ is one reason why the "chance diagonal" of the AFROC, corresponding to $\text{A}_{wAFROC} = 0.5$, does *not* reflect chance-level performance. $\text{A}_{AFROC} = 0.5$ is actually reasonable performance, being exactly in the middle of the allowed range. An example of this was given above for the case of an expert radiologist who does not mark any cases.


Similar comments apply to the AFROC_AUC, i.e. $0 \leq \text{A}_{AFROC} \leq 1$, etc. 


### AFROC1


\begin{equation}
\begin{aligned}
\text{A}_{AFROC1} =& \frac{1}{\left (K_1 +K_2 \right )\sum_{k_2=1}^{K_2}L_{k_2 2}}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} \left( A + B \right)
\end{aligned}
(\#eq:empirical-computational-afroc1)
\end{equation}

where A and B are defined by:

\begin{equation}
\left. 
\begin{aligned}
A =& \sum_{k_1=1}^{K_1}\psi\left ( \max_{l_1}\left (z_{k_11l_11}  \right ),z_{k_22l_22} \right ) \\
B =& \sum_{k_2'=1}^{K_2}\psi\left ( \max_{l_1}\left (z_{k_22l_11}'  \right ),z_{k_22l_22} \right )
\end{aligned}
\right \} 
(\#eq:empirical-computational-afroc1ab)
\end{equation}


The normalization can checked by assuming all NL ratings are less than any LL rating, in which case terms A and B reduce to $K_1+K_2$ and $\text{A}_{AFROC1} = 1$:


\begin{equation}
\left. 
\begin{aligned}
\text{A}_{AFROC1} =& \frac{1}{\sum_{k_2=1}^{K_2}L_{k_2 2}}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} 1 \\
=& \frac{1}{\sum_{k_2=1}^{K_2}L_{k_2 2}}\sum_{k_2=1}^{K_2}L_{k_2 2} \\
=& 1
\end{aligned}
\right \} 
(\#eq:empirical-computational-afroc1a)
\end{equation}



### wAFROC1


This is similar to the above expression for AFROC1 except for the presence of the weight term $W_{k_2l_2}$:

\begin{equation}
\begin{aligned}
\text{A}_{wAFROC1} =& \frac{1}{\left (K_1 + K_2 \right )K_2}\sum_{k_2=1}^{K_2}\sum_{l_2=1}^{L_{k_2 2}} W_{k_2l_2}\left( A+B \right)
\end{aligned}
(\#eq:empirical-computational-wafroc1)
\end{equation}


A and B are as defined in Eqn. \@ref(eq:empirical-computational-afroc1ab).