1. Introduction
In the traditional test collection based evaluation of Information Retrieval (IR) systems, statistical significance tests are the most popular tool to assess how much noise there is in a set of evaluation results. Random noise in our experiments comes from sampling various sources like document sets (Robertson and Kanoulas, 2012; Sanderson et al., 2012; Jones et al., 2014) or assessors (Voorhees, 2000; Bailey et al., 2008; Alonso and Mizzaro, 2012), but mainly because of topics (Voorhees and Buckley, 2002; Carterette et al., 2008; Urbano et al., 2013b; Sakai, 2016b; Urbano, 2016). Given two systems evaluated on the same collection, the question that naturally arises is “how well does the observed difference reflect the real difference between the systems and not just noise due to sampling of topics”? Our field can only advance if the published retrieval methods truly outperform current technology on unseen topics, as opposed to just the few dozen topics in a test collection. Therefore, statistical significance testing plays an important role in our everyday research to help us achieve this goal.
1.1. Motivation
In a recent survey of 1,055 SIGIR and TOIS papers, Sakai (2016a) reported that significance testing is increasingly popular in our field, with about 75% of papers currently following one way of testing or another. In a similar study of 5,792 SIGIR, CIKM and ECIR papers, Carterette (2017) also observed an increasing trend with about 60% of full papers and 40% of short papers using significance testing. The most typical situation is that in which two IR systems are compared on the same collection, for which a paired test is in order to control for topic difficulty. According to their results, the test is the most popular with about 65% of the papers, followed by the Wilcoxon test in about 25% of them, and to a lesser extent by the sign, bootstrapbased and permutation tests.
It appears as if our community has made a de facto choice for the and Wilcoxon tests. Notwithstanding, the issue of statistical testing in IR has been extensively debated in the past, with roughly three main periods reflecting our understanding and practice at the time. In the 1990s and before, significance testing was not very popular in our field, and the discussion largely involved theoretical considerations of classical parametric and nonparametric tests, such as the test, Wilcoxon test and sign test (van Rijsbergen, 1979; Hull, 1993). During the late 1990s and the 2000s, empirical studies became to be published, and suggestions were made to move towards resampling tests based on the bootstrap or permutation tests, while at the same time advocating for the simplicity of the test (Savoy, 1997; Zobel, 1998; Sanderson and Zobel, 2005; Smucker et al., 2007). Lastly, the 2010s witnessed the wide adoption of statistical testing by our community, while at the same time it embarked in a longpending discussion about statistical practice at large (Carterette, 2012, 2015; Sakai, 2014).
Even though it is clear that statistical testing is common nowadays, the literature is still rather inconclusive as to which tests are more appropriate. Previous work followed empirical and theoretical arguments. Studies of the first type usually employ a topic splitting methodology with past TREC data. The idea is to repeatedly split the topic set in two, analyze both separately, and then check whether the tests are concordant (i.e. they lead to the same conclusion). These studies are limited because of the amount of existing data and because typical collections only have 50 topics, so we can only do 25–25 splits, abusing the same 50 topics over and over again. But most importantly, without knowledge of the null hypothesis we can not simply count discordances as Type I errors; the tests may be consistently wrong or right between splits. On the other hand, studies of theoretical nature have argued that IR evaluation data does not meet test assumptions such as normality or symmetry of distributions, or measurements on an interval scale
(Ferrante et al., 2017). In this line, it has been argued that the permutation test may be used as a reference to evaluate other tests, but again, a test may differ from the permutation test on a case by case basis and still be valid in the long run with respect to Type I errors^{1}^{1}1For instance, under a test that always returns 1 minus the value of the permutation test, will always be discordant with it but have the same Type I error rate..1.2. Contributions and Recommendations
The question we ask in this paper is: which is the test that, maintaining Type I errors at the level, achieves the highest statistical power with IRlike data? In contrast to previous work, we follow a simulation approach that allows us to evaluate tests with unlimited IRlike data and under full control of the null hypothesis. In particular, we use a recent method for stochastic simulation of evaluation data (Urbano and Nagler, 2018; Urbano, 2016)
. In essence, the idea is to build a generative stochastic model of the joint distribution of effectiveness scores for a pair of systems, so that we can simulate an arbitrary number of new random topics from it. The model contains, among other things, the true distributions of both systems, so we have full knowledge of the true mean scores needed to compute test error rates.
We initially devised this simulation method to study the problem of topic set size design (Urbano, 2016), but after further developments we recently presented preliminary results about the test with IR data (Urbano and Nagler, 2018). The present paper provides a thorough study in continuation. Our main contributions are as follows:

A description of a methodology that allows us, for the first time, to study the behavior of statistical tests with IR data.

A large empirical study of 500 million values computed for simulated data resembling TREC Adhoc and Web runs.

A comparison of the typical paired tests (test, Wilcoxon, sign, bootstrapshift and permutation) in terms of actual Type I, Type II and Type III errors^{2}^{2}2Type III errors refer to incorrect directional conclusions due to correctly rejected nondirectional hypotheses (ie. correctly rejecting for the wrong reason) (Kaiser, 1960)..

A comparison across several measures (, , , and ), topic set sizes (25, 50 and 100), significance levels (0.001–0.1), effect sizes (0.01–0.1), and for both the 2tailed and the 1tailed cases.
Based on the results of this study, we make the following conclusions and recommendations:

The test and the permutation test behave as expected and maintain the Type I error rate at the level across measures, topic set sizes and significance levels. Therefore, our field is not being conservative in terms of decisions made on the grounds of statistical testing.

Both the test and the permutation test behave almost identically. However, the
test is simpler and remarkably robust to sample size, so it becomes our top recommendation. The permutation test is still useful though, because it can accommodate other test statistics besides the mean.

The bootstrapshift test shows a systematic bias towards small values and is therefore more prone to Type I errors. Even though large sample sizes tend to correct this effect, we propose its discontinuation as well.

We agree with previous work in that the Wilcoxon and sign tests should be discontinued for being unreliable.

The rate of Type III errors is not negligible, and for measures like and , or small topic sets, it can be as high as 2%. Testing in these cases should be carried with caution.
We provide online fast implementations of these tests, as well as all the code and data to replicate the results found in the paper^{3}^{3}3https://github.com/julianurbano/sigir2019statistical.
2. Related Work
One of the first accounts of statistical significance testing in IR was given by van Rijsbergen (1979), with a detailed description of the , Wilcoxon and sign tests. Because IR evaluation data violates the assumptions of the first two, the sign test was suggested as the test of choice. Hull (1993) later described a wider range of tests for IR, and argued that the test is robust to violations of the normality assumption, specially with large samples. However, they did not provide empirical results. Shortly after, Savoy (1997) stressed van Rijsbergen’s concerns and proposed bootstrapping as a general method for testing in IR because it is free of distributional assumptions.
An early empirical comparison of tests was carried out by Wilbur (1994), who simulated system runs using a simple model of the rate at which relevant documents are retrieved (McCarn and Lewis, 1990). Albeit unrealistic, this model allowed a preliminary study of statistical tests under knowledge of the null hypothesis. They showed that nonparametric tests, as well as those based on resampling, behaved quite well in terms of Type I error rate, also indicating preference for bootstrapping. Zobel (1998) compared the test, Wilcoxon and ANOVA with a random 25–25 split of TREC Ad hoc topics, and found lower discordance rates with the test. However, they suggested the Wilcoxon test because it showed higher power and it has more relaxed assumptions. Although they did not study significance tests, Voorhees and Buckley (2002) used TREC Ad hoc and Web data to analyze the rate of discordance given the observed difference between two systems. Inspired by these two studies, Sanderson and Zobel (2005) used several 25–25 splits of TREC Ad hoc topics and found that the test has lower discordance rates than the Wilcoxon test, followed by the sign test. Cormack and Lynam (2007) later used 124–124 topic splits from the TREC Robust track to compare actual and expected discordance rates, and found the Wilcoxon test to be more powerful than the and sign tests, though with higher discordance rates. Voorhees (2009) similarly used 50–50 splits of the TREC Robust topics to study concordance rates of the test with score standardization. Finally, Sakai (2006) also advocated for the bootstrap when evaluating effectiveness measures, but did not compare to other tests.
The most comprehensive comparison of statistical tests for IR is probably the one by
Smucker et al. (2007). From both theoretical and empirical angles, they compared the , Wilcoxon, sign, bootstrapshift and permutation tests. From a theoretical standpoint, they recommend the permutation test and compare the others to it using TREC Ad hoc data. They propose the discontinuation of the Wilcoxon and sign tests because they tend to disagree, while the bootstrap and test show very high agreement with the permutation test. In a later study, they showed that this agreement is reduced with smaller samples, and that the bootstrap test appears to have a bias towards small values (Smucker et al., 2009). Inspired by Voorhees (2009) and Smucker et al. (2007), Urbano et al. (2013a) performed a largescale study with 50–50 splits of the TREC Robust data to compare statistical tests under different optimality criteria. They found the bootstrap test to be the most powerful, the test the one with lowest discordance rates, and the Wilcoxon test the most stable.In summary, we find in the literature:

Both theoretical and empirical arguments for and against specific tests.

Even though discordance rates can not be used as proxies to the Type I error rate because the null hypothesis is unknown (Cormack and Lynam, 2007), several studies made a direct or indirect comparison, suggesting that tests are too conservative because discordance rates are below the significance level .

Most studies analyze statistical tests with scores, with few exceptions also using . In general, they found higher discordance rates with , arguing that is a more stable measure and conclusions based on it are more reliable.

Studies of 2tailed tests at almost exclusively.
Although previous work substantially contributed to our understanding of significance testing in IR, a comprehensive study of actual error rates is still missing in our field. An attempt at filling this gap was very recently presented by Parapar et al. (2019). Their approach exploits score distribution models from which new relevance profiles may be simulated (ie. ranked lists of relevance scores) with indirect control over the score they are expected to produce. Therefore, their method simulates new runs for the same topic. However, the question of statistical testing in IR involves hypotheses about the performance of two systems on a population of topics from which the test collection is sampled. To study these hypotheses, one therefore needs to simulate new topics for the same systems. In contrast to (Parapar et al., 2019), our method does simulate the effectiveness scores of the given systems on random topics, directly and with full control over the distributions. Based on this simulation method, we aim at making informed recommendations about the practice of statistical testing in IR.
3. Methods
This section provides a brief description of the five statistical tests we consider, and then outlines the method we follow to simulate evaluation data with which to compute actual error rates.
3.1. Statistical Tests
Assuming some effectiveness measure, let be the scores achieved by a baseline system on each of the topics in a collection, and let be the scores achieved by an experimental system on the same topics. For simplicity, let be the difference for a topic, and let and be the mean scores over topics. Under normal conditions, researchers compute the mean scores, and if they test for the statistical significance of the result using a paired test. At this point, a distinction is made between directional and nondirectional null hypotheses.
A nondirectional null hypothesis has the form , meaning that the mean score of both systems is the same; the alternative is . This is called nondirectional because it tests for equality of means, but if the hypothesis is rejected it does not say anything about the direction of the difference. In this case, one uses a test to compute a 2tailed or 2sided value. A directional null hypothesis has the form , meaning that the mean performance of the baseline system is larger than or equal to that of the experimental system^{4}^{4}4 is also valid, but irrelevant to an IR researcher.; the alternative is . In this case, one computes a 1tailed or 1sided value.
For simplicity, let us assume unless otherwise stated.
3.1.1. Student’s ttest
The case of a paired twosample test for is equivalent to the onesample test for
. In general, the distribution of a sample mean has variance
. When this mean is normally distributed, and
is unknown but estimated with the sample standard deviation
, the standardized mean follows a distribution with degrees of freedom (Student, 1908). The test statistic is therefore defined as(1) 
Using the cdf of the distribution, the 1tailed value is calculated as the probability of observing an even larger statistic:
(2) 
Because the distribution is symmetric, the 2tailed value is simply twice as large: . When the data are normally distributed, one can safely use the
test because the mean is then normally distributed too. If not, and by virtue of the Central Limit Theorem, it can also be used if the sample size is not too small.
In our experiments we use the standard R implementation in function t.test.
3.1.2. Wilcoxon Signed Rank test
This is a nonparametric test that disregards the raw magnitudes of the differences, using their ranks instead (Wilcoxon, 1945). First, every zerovalued observation is discarded^{5}^{5}5Other ways of dealing with zeros have been proposed, but they are well out of the scope of this paper. See for instance (Pratt, 1959), and (Conover, 1973) for a comparison., and every other is converted to its rank based on the absolute values, but maintaining the correct sign: . The test statistic is calculated as the sum of positive ranks
(3) 
Under the null hypothesis, follows a Wilcoxon Signed Rank distribution with sample size (the number of nonzero observations). The 1tailed value is computed as
(4) 
and the 2tailed value is simply twice as large: .
In our experiments we use the standard R implementation in function wilcox.test.
3.1.3. Sign test
In this case the data are looked at as if they were coin tosses where the possible outcomes are or , therefore having complete disregard for magnitudes (Conover, 1999, §3.4). The test statistic is the number of successes, that is, the number of topics where :
(5) 
where is 1 if is true or 0 otherwise. Under the null hypothesis,
follows a Binomial distribution with 50% probability of success and
trials, where is again the number of topics where . The 1tailed value is the probability of obtaining at least successes:(6) 
The 2tailed value is simply twice as large: . van Rijsbergen (1979) proposed to use a small threshold such that if then we consider that systems are tied for topic . Following Smucker et al. (2009), we set .
In our experiments we use our own implementation to compute and , and then use the standard R implementation in function binom.test to compute the values.
3.1.4. Permutation test
This test is based on the exchangeability principle: under the null hypothesis both systems are the same, so the two scores observed for a topic actually come from the same system and we simply happened to label them differently (Fisher, 1935; Pitman, 1937, §II). With topics, there are different permutations of the labels, all equally likely. The one we actually observed is just one of them, so the goal is to calculate how extreme the observed is.
In practice, the distribution under the null hypothesis is estimated via Monte Carlo methods. In particular, the following may be repeated times. A permutation replica is created by randomly swapping the sign of each with probability 0.5 (i.e. permuting the labels), and the mean is recorded. The 1tailed value is computed as the fraction of replicas where the mean is as large as the observed mean:
(7) 
The 2tailed value is similarly the fraction of replicas where the magnitude of the mean is at least as large as the one observed:
(8) 
The precision of the values depends on how many replicas we create. As noted by Efron and Tibshirani (1998, ch. 15), an answer to this issue may be given by realizing that has a Binomial distribution with trials and probability of success . The coefficient of variation for the estimated is
(9) 
If we do not want our estimate of to vary more than of its value, then we need to set . For instance, for a target error on a (i.e., an error of ), we need replicas. Under symmetricity assumptions, for we may assume . Smucker et al. (2009) and Parapar et al. (2019) used 100,000 replicas in their experiments, which yield an error of 0.00045 for a target (4.5%), and an error of 0.001 for a target (2%). Because we want to study small significance levels, in our experiments we use million replicas. This yields an error of 0.00014 for a target (1.4%), and 0.0003 for (0.62%). For the 1tailed case, errors are 0.0001 (1%) and 0.0002 (0.43%), respectively.
Because this test is computationally expensive, we used our own implementation in C++, using the modern Mersenne Twister pseudorandom number generator in the C++11 standard.
3.1.5. Bootstrap test – Shift method
This test follows the bootstrap principle to estimate the sampling distribution of the mean under the null hypothesis (Efron and Tibshirani, 1998, §16.4). The following is repeated times. A bootstrap sample is created by resampling observations with replacement from , and its mean is recorded. Let be the mean of these means, which will be used to shift the bootstrap distribution to have zero mean. The 1tailed value is computed as the fraction of bootstrap samples where the shifted bootstrap mean is at least as large as the observed mean:
(10) 
The 2tailed value is similarly the fraction of shifted bootstrap samples where the magnitude of the mean is at least as large as the one observed:
(11) 
As with the permutation test, we compute million bootstrap samples. Wilbur (1994) and Sakai (2006) used 1,000 samples, Cormack and Lynam (2006) used 2,000, Savoy (1997) used up to 5,000, and both Smucker et al. (2007) and Parapar et al. (2019) used 100,000. Again, we use our own implementation in C++11 for efficiency.
3.2. Stochastic Simulation
In order to simulate realistic IR evaluation that allows us to compare statistical tests, we use the method recently proposed by Urbano and Nagler (2018), which extends an initial method by Urbano (2016) to study topic set size design methods. In essence, they build a generative stochastic model
that captures the joint distribution of effectiveness scores for a number of systems. An observation from this model would be the vector of scores achieved by the system on the same topic. This model contains two parts: the marginal distribution of each system, that is, its distribution of effectiveness scores regardless of the other systems, and a copula
(Joe, 2014) to model the dependence among systems, that is, how they tend to behave for the same topic. Because we will focus on paired statistical testing, in our case we will only contemplate bivariate models of only two systems B and E.Given a model , we can indefinitely simulate evaluation scores for the same two systems but on new, random topics. The model defines the two individual marginal distributions and , so it provides full knowledge about the null hypothesis because we know and beforehand. For the simulated data to be realistic, Urbano and Nagler (2018)
argue that the model first needs to be flexible enough to accommodate arbitrarily complex data; this is ensured by allowing a range of nonparametric models for both the margins and the copula. Finally, a realistic model can be instantiated by fitting it to existing TREC data using a model selection criterion that rewards fit over simplicity (e.g. loglikelihood instead of BIC). As they note, the resulting model is
not a model of the true performance of the existing systems whose data was used in the fitting process, but rather of some hypothetical systems that behave similarly.Figure 1 summarizes how these stochastic models are built and used. To fit the model (red flow), we start from the existing effectiveness scores of systems B and E over topics: the paired observations. The individual scores from the first system are used to fit the marginal distribution , which determines the true mean score , and likewise with the second system. The cdf of the fitted margins are used to transform the original scores to pseudoobservations , such that . The copula is then fitted to these pseudoobservations. To simulate a new topic from the model (blue flow), a new pseudoobservation is randomly generated from the copula, which is then transformed back with the inverse cdf to obtain the final observation . By construction, we have and , so that we simulate new scores under full knowledge of the true system distributions.
We use this simulation method in two different ways. First, in order to study Type I error rates we need to generate data under the null hypothesis . We achieve this by assigning after fitting the margins and the copula. This way, we simulate data from two systems that have a certain dependence structure but the same margin distribution, so that by construction. Second, and in order to study Type II and Type III error rates, we need to generate data with different effect sizes. In particular, for a fixed difference , we will need to make sure that . Given an already fitted stochastic model, Urbano and Nagler (2018, §3.4) show how this requirement can be met by performing a slight transformation of that still maintains underlying properties of the distribution such as its support. For instance, if corresponds to scores, the transformed distribution will also generate valid scores. This way, we simulate data from two systems that have a certain dependence structure and whose expected scores are at a fixed distance .
In this paper we use version 1.0 of the simIReff R package^{6}^{6}6https://cran.rproject.org/package=simIReff by Urbano and Nagler (2018). simIReff offers a high degree of flexibility to model IR data. In particular, it implements 6 distribution families for the margins (Truncated Normal, Beta, Truncated Normal Kernel Smoothing, Beta Kernel Smoothing, BetaBinomial and Discrete Kernel Smoothing), and 12 copula families for the dependence structure (Gaussian, , Clayton, Gumbel, Frank, Joe, BB1, BB6, BB7, BB8, Tawn 1 and Tawn 2) plus rotations. When transforming a distribution so that it has a certain expected value, we require a maximum absolute tolerance of .
4. Evaluation
Because our goal is to evaluate the behavior of statistical tests on a variety of IR data, we chose systems and measures representative of ad hoc retrieval. In particular, we used the runs from the TREC 5–8 Ad hoc and TREC 2010–13 Web tracks. In terms of measures, we chose , and for the Ad hoc runs, and and for the Web runs. We therefore evaluate tests on measures producing smooth but asymmetric distributions (, and ), discrete (), and with nonstandard, nonuniform support ().
As is customary in this kind of experiments, we only use the top 90% of the runs to avoid errorful system implementations. This results in a total of 326 Ad hoc runs and 193 Web runs, from which we can use about and run pairs, respectively. In terms of topic set sizes, we will simulate results on topics, representing small, typical and large collections.
4.1. Type I Errors
In order to evaluate the actual Type I error rate of the statistical tests, we proceed as follows. For a target measure and topic set size, we randomly select two systems from the same collection and fit the corresponding stochastic model as described in section 3.2 (same margins). From this model we simulate the scores on new random topics, and compute the 2tailed and 1tailed values with the 5 tests we consider. Recall that under this stochastic model, both systems have the same distribution and therefore the null hypothesis is known to be true, so any statistically significant result would therefore count as a Type I error. This is repeated times, leading to million 2tailed values and million 1tailed values for every measure and topic set size combination. The grand total is therefore just over million values.
Figure 2 shows the actual error rates for the 2tailed tests and for significance levels in ; each plot summarizes million values. Ideally all lines should go through the diagonal, meaning that the actual error rate (axis) is the same as the nominal error rate (axis). A test going above the diagonal is making more Type I errors than expected, and a test going below the diagonal is a conservative test making fewer errors than expected; both situations should be avoided to the best of our ability. Looking at scores, we can see that the Wilcoxon and sign tests are consistently making more errors than expected, specially at low levels. As the sample size increases, they are overconfident and show a clear bias towards small values. The bootstrap test is similarly overconfident, but it approaches the expected behavior as the sample size increases, because the sampling distribution is better estimated with large samples. The permutation test behaves quite better and also approaches the diagonal as sample size increases, and the test is remarkably close to ideal behavior even with small sample sizes. With and we see very similar behavior, with the test tracking the ideal error rate nearly perfectly, perhaps with the exception of the test being conservative at low levels with small samples in .
When we look at a measure like that produces clearly discrete distributions, it is remarkable how well the and permutation tests behave. This is probably because the distributions of differences in are very symmetric in practice, which facilitates the effect of the Central Limit Theorem. For the same reason, the Wilcoxon test behaves better than before, but again becomes overconfident with large samples. The sign test also suffers from large sample sizes by increasing error rates, while the bootstrap test behaves better with more topics. For we see very similar results, again with the exception of the test being conservative at low levels with small samples. The permutation test shows nearly ideal behavior for too.
Figure 3 shows similar plots but for the 1tailed case and only with topics. The results are consistent with the 2tailed case: the permutation and tests show nearly ideal behavior and the bootstrap test has a bias towards small values. When sample size increases (not shown^{7}^{7}7Plots for other topic set sizes are provided as supplementary material.), this bias is reduced, but the Wilcoxon and sign tests become even more unreliable again.
For the typical IR case of topics and , we see that the test and the permutation tests maintain a Type I error rate of just 0.05, while the bootstrap test is at 0.059 in the 2tailed case and 0.054 in the 1tailed case. At the level, the test and the permutation test maintain a 0.01 error rate, with the bootstrap going up to 0.014.
4.2. Type II Errors
In order to evaluate the actual Type II error rate, we need to simulate from systems whose true mean scores are at a distance from each other, and then observe how error rates are affected by the magnitude of this distance. We first randomly select a baseline system B from the bottom 75% of runs for a collection and measure, and then preselect the 10 systems whose mean score is closest to the target . From these 10, we randomly choose the experimental system E and fit the stochastic model to simulate, but we additionally transform so that its expected value is , as described in section 3.2. Under this model, the null hypothesis is known to be false, so any result that is not statistically significant would therefore count as a Type II error. This is repeated times for each value of in . In total, this leads to million 2tailed values and million 1tailed values for every measure and topic set size combination. The grand total is therefore just over 250 million values as well.
As is customary in this kind of analysis, we report power curves instead of Type II error rates, and do so only for the typical significance level .^{8}^{8}8Plots for other levels are provided online as supplementary material. Figure 4 shows the power curves of the 2tailed tests as a function of the effect size . The first thing we notice is that there are clear differences across measures; this is due to the variability of their distributions. For instance, differences in or have between 2 and 4 times the standard deviation of the other measures. Across all measures we can also see clearly how power increases with the sample size and with the effect size. These plots clearly visualize the effect of the three main factors that affect statistical power: variability, effect size and sample size. The definition of the statistic in eq. (1) nicely formulates this.
We can see nearly the same pattern across measures. The sign test is consistently less powerful because it does not take magnitudes into account, and the bootstrap test is nearly consistently the most powerful, specially with small samples. The second place is disputed between the Wilcoxon, and permutation tests. For instance, the Wilcoxon test is slightly more powerful for or , but less so for or . For the most part though, these three tests perform very similarly, specially the and permutation tests. When the sample size is large, all tests are nearly indistinguishable in terms of power, with the clear exception of the sign test. Results in the 1tailed case are virtually the same, except that power is of course higher. The reader is referred to the online supplementary material for the full set of results.
Figure 5 offers a different perspective by plotting power as a function of the significance level, and for the selection and 50 topics. These plots confirm that the bootstrap and Wilcoxon tests have the highest power, specially for , and . That the bootstrapshift test appears to be more powerful was also noted for instance by Smucker et al. (2007); Urbano et al. (2013a), but the slightly higher power of the Wilcoxon test comes as a surprise to these authors. Conover (1999, §5.7,§5.11) points out that, for certain heavytailed distributions, the Wilcoxon test may indeed have higher asymptotic relative efficiency compared to the and permutation tests. For small samples, Conover et al. (1978) report similar findings in the twosample case.
In summary, all tests except the sign test behave very similarly, with very small differences in practice. The bootstrap and Wilcoxon tests are consistently a little more powerful, but the results from last section indicate that they are also more likely to make Type I errors. Given that the test and the permutation test behave almost ideally in terms of Type I errors, and similar to the others in terms of power, it seems clear that they are the best choice, also consistently across measures and sample sizes.
4.3. Type III Errors
The majority of literature on statistical testing is devoted to analyzing the Type I error rate, while the study of Type II errors and power has received considerably less attention. There is however a third type of errors that is virtually neglected in the literature. Type III errors refer to cases in which a wrong directional decision is made after correctly rejecting a nondirectional hypothesis^{9}^{9}9The related concept of major conflict was studied for instance by Voorhees (2009) and Urbano et al. (2013a), but without control over the null hypothesis. (Kaiser, 1960). Imagine we observe a positive improvement of our experimental system E over the baseline B, that is, . If we follow the common procedure of running a 2tailed test for the nondirectional hypothesis and reject it, we typically make the directional decision that on the grounds of and . In such case, we make a directional decision based on a nondirectional hypothesis, but that decision could very well be wrong. In our case, it could be that the baseline system really is better and the set of topics was just unfortunate. That is, would still be correctly rejected, but for the wrong reason. In modern terminology, Type III errors are sometimes referred to as Type S errors (sign) (Gelman and Tuerlinckx, 2000).
Using the same data from section 4.2, we can study the rate of Type III errors, coined by Kaiser (1960). Because our simulated data always had a positive effect , we actually count cases in which and the nondirectional hypothesis was rejected by . In these cases we would incorrectly conclude that the baseline is significantly better than the experimental system. Again, we only report here results at .
Figure 6 shows the rate of Type III errors as a function of the effect size . As anticipated by the Type I error rates, the and permutation tests lead to much fewer errors than the other tests, with the Wilcoxon and sign tests being again more errorprone and the bootstrap test somewhere in between. The effect of the topic set size is clearly visible again in that the Wilcoxon and sign test become even more unreliable while the others significantly reduce the error rate. In particular, the bootstrap test catches up with the and permutation tests. Differences across measures are once again caused by the variability of their distributions.
is by far the most variable measure and hence more likely to observe outliers that lead to wrong conclusions. On the other hand,
is the most stable measure and the tests show better behavior with it.We note that the error rates reported in Figure 6 are over the total number of cases. An arguably more informative rate can be computed over the number of significant cases, that is, the fraction of statistically significant results that could actually lead to Type III errors. Even though space constraints do not permit to report these plots, Figures 4 and 6 together provide a rough idea. For instance, with and 50 topics, the Type III error rate at the typical is 0.0069 with the test. With this effect size, 9.47% of comparisons come up statistically significant, which means that 7.3% of significant results could lead to a Type III error. As another example, with and 50 topics the Type III error rate is 0.0064, with power at 8.9%. This means that 7.2% of significant results could lead to erroneous conclusions.
5. Conclusions
To the best of our knowledge, this paper presents the first empirical study of actual Type I and Type II error rates of typical paired statistical tests with IR data. Using a method for stochastic simulation of evaluation scores, we compared the test, Wilcoxon, sign, bootstrapshift and permutation tests on more than 500 million values, making it also a 10fold increase over the largest study to date. Our analysis also comprises different effectiveness measures ( and ), topic set sizes (25, 50 and 100), significance levels (0.001 to 0.1), and both 2tailed and 1tailed tests, making it the most comprehensive empirical study as well.
Our results confirm that the sign and Wilcoxon tests are unreliable for hypotheses about mean effectiveness, specially with large sample sizes. One could argue that this is because they do not test hypotheses about means, but about medians. However, because of the symmetricity assumption, they are legitimately used as alternatives to the test with less strict assumptions. As suggested by previous research, the test and permutation test largely agree with each other, but the test appears to be slightly more robust to variations of sample size. On the other hand, the bootstrapshift test is shown to have a clear bias towards small values. While this leads to higher power, our results confirm that it also has higher Type I error rates, so there is virtually no gain over the or permutation tests. This bias decreases with sample size, so the only situation favorable to the bootstrap appears to be that of (very) large test collections. The Wilcoxon test is found in a similar situation of high power but high Type I errors, specially as sample size increases.
An advantage of our study is that it allows us to move past the typical discordance ratios used so far in the literature to compare tests. As discussed here and in previous work, without knowledge of the null hypothesis these discordances do not imply Type I errors. Thanks to our methodology based on simulation, we computed actual Type I error rates and found that both the test and the permutation test maintain errors at the nominal level remarkably well, and they do so across measures and sample sizes. The tests are not being too conservative as previously suggested, and even though some effectiveness measures are indeed more unstable than others, that does not imply a higher error rate in the tests.
Based on our findings, we strongly recommend the use of the test for typical hypotheses pertaining to mean system effectiveness, and the permutation test for others. We provide further evidence that the bootstrapshift test, although with nice theoretical properties, does not behave well unless the sample size is large, so we also recommend its discontinuation.
Acknowledgements.
Work carried out on the Dutch national einfrastructure (SURF Cooperative) and funded by European Union’s H2020 programme (7703762–TROMPA).Whichever tree, plant, or bird you’re now part of, thank you, Mom.
References
 (1)
 Alonso and Mizzaro (2012) Omar Alonso and Stefano Mizzaro. 2012. Using crowdsourcing for TREC relevance assessment. Information Processing & Management 48, 6 (2012), 1053–1066.
 Bailey et al. (2008) Peter Bailey, Nick Craswell, Ian Soboroff, Paul Thomas, Arjen P. de Vries, and Emine Yilmaz. 2008. Relevance Assessment: Are Judges Exchangeable and Does it Matter?. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 667–674.
 Carterette (2012) Ben Carterette. 2012. Multiple Testing in Statistical Analysis of SystemsBased Information Retrieval Experiments. ACM Transactions on Information Systems 30, 1 (2012).
 Carterette (2015) Ben Carterette. 2015. Bayesian Inference for Information Retrieval Evaluation. In International Conference on the Theory of Information Retrieval. 31–40.
 Carterette (2017) Ben Carterette. 2017. But Is It Statistically Significant?: Statistical Significance in IR Research, 19952014. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 1125–1128.
 Carterette et al. (2008) Ben Carterette, Virgil Pavlu, Evangelos Kanoulas, Javed A. Aslam, and James Allan. 2008. Evaluation Over Thousands of Queries. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 651–658.
 Conover (1973) William J. Conover. 1973. On Methods of Handling Ties in the Wilcoxon SignedRank Test. J. Amer. Statist. Assoc. 68, 344 (1973), 985–988.
 Conover (1999) William J. Conover. 1999. Practical Nonparametric Statistics. Wiley.
 Conover et al. (1978) William J. Conover, Oscar Wehmanen, and Fred L. Ramsey. 1978. A Note on the SmallSample Power Functions for Nonparametric Tests of Location in the Double Exponential Family. J. Amer. Statist. Assoc. 73, 361 (1978), 188–190.
 Cormack and Lynam (2006) Gordon V. Cormack and Thomas R. Lynam. 2006. Statistical Precision of Information Retrieval Evaluation. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 533–540.
 Cormack and Lynam (2007) Gordon V. Cormack and Thomas R. Lynam. 2007. Validity and Power of ttest for Comparing MAP and GMAP. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 753–754.
 Efron and Tibshirani (1998) Bradley Efron and Robert J. Tibshirani. 1998. An Introduction to the Bootstrap. Chapman & Hall/CRC.
 Ferrante et al. (2017) Marco Ferrante, Nicola Ferro, and Silvia Pontarollo. 2017. Are IR Evaluation Measures on an Interval Scale?. In Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval. 67–74.
 Fisher (1935) Ronald A. Fisher. 1935. The Design of Experiments. Oliver and Boyd.
 Gelman and Tuerlinckx (2000) Andrew Gelman and Francis Tuerlinckx. 2000. Type S Error Rates for Classical and Bayesian Single and Multiple Comparisons Procedures. Computational Statistics 15, 3 (2000), 373–390.
 Hull (1993) David Hull. 1993. Using Statistical Testing in the Evaluation of Retrieval Experiments. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 329–338.
 Joe (2014) Harry Joe. 2014. Dependence Modeling with Copulas. CRC Press.
 Jones et al. (2014) Timothy Jones, Andrew Turpin, Stefano Mizzaro, Falk Scholer, and Mark Sanderson. 2014. Size and Source Matter: Understanding Inconsistencies in Test CollectionBased Evaluation. In ACM International Conference on Information and Knowledge Management. 1843–1846.
 Kaiser (1960) Henry F. Kaiser. 1960. Directional Statistical Decisions. Psychological Review 67, 3 (1960), 160–167.
 McCarn and Lewis (1990) Davis B. McCarn and Craig M. Lewis. 1990. A mathematical Model of Retrieval System Performance. Journal of the American Society for Information Science 41, 7 (1990), 495–500.
 Parapar et al. (2019) Javier Parapar, David E. Losada, Manuel A. Presedo Quindimil, and Alvaro Barreiro. 2019. Using score distributions to compare statistical significance tests for information retrieval evaluation. Journal of the Association for Information Science and Technology (2019).
 Pitman (1937) Edwin J.G. Pitman. 1937. Significance Tests Which May be Applied to Samples From any Populations. Journal of the Royal Statistical Society 4, 1 (1937), 119–130.
 Pratt (1959) John W. Pratt. 1959. Remarks on Zeros and Ties in the Wilcoxon Signed Rank Procedures. J. Amer. Statist. Assoc. 54, 287 (1959), 655–667.
 Robertson and Kanoulas (2012) Stephen Robertson and Evangelos Kanoulas. 2012. On PerTopic Variance in IR Evaluation. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 891–900.

Sakai (2006)
Tetsuya Sakai.
2006.
Evaluating Evaluation Metrics Based on the Bootstrap. In
International ACM SIGIR Conference on Research and Development in Information Retrieval. 525–532.  Sakai (2014) Tetsuya Sakai. 2014. Statistical Reform in Information Retrieval? ACM SIGIR Forum 48, 1 (2014), 3–12.
 Sakai (2016a) Tetsuya Sakai. 2016a. Statistical Significance, Power, and Sample Sizes: A Systematic Review of SIGIR and TOIS, 20062015. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 5–14.
 Sakai (2016b) Tetsuya Sakai. 2016b. Topic Set Size Design. Information Retrieval 19, 3 (2016), 256–283.
 Sakai (2016c) Tetsuya Sakai. 2016c. Two Sample Ttests for IR Evaluation: Student or Welch?. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 1045–1048.
 Sanderson et al. (2012) Mark Sanderson, Andrew Turpin, Ying Zhang, and Falk Scholer. 2012. Differences in Effectiveness Across Subcollections. In ACM International Conference on Information and Knowledge Management. 1965–1969.
 Sanderson and Zobel (2005) Mark Sanderson and Justin Zobel. 2005. Information Retrieval System Evaluation: Effort, Sensitivity, and Reliability. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 162–169.
 Savoy (1997) Jacques Savoy. 1997. Statistical Inference in Retrieval Effectiveness Evaluation. Information Processing and Management 33, 4 (1997), 495–512.
 Smucker et al. (2007) Mark D. Smucker, James Allan, and Ben Carterette. 2007. A Comparison of Statistical Significance Tests for Information Retrieval Evaluation. In ACM International Conference on Information and Knowledge Management. 623–632.
 Smucker et al. (2009) Mark D. Smucker, James Allan, and Ben Carterette. 2009. Agreement Among Statistical Significance Tests for Information Retrieval Evaluation at Varying Sample Sizes. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 630–631.
 Student (1908) Student. 1908. The Probable Error of a Mean. Biometrika 6, 1 (1908), 1–25.
 Urbano (2016) Julián Urbano. 2016. Test Collection Reliability: A Study of Bias and Robustness to Statistical Assumptions via Stochastic Simulation. Information Retrieval Journal 19, 3 (2016), 313–350.
 Urbano et al. (2013a) Julián Urbano, Mónica Marrero, and Diego Martín. 2013a. A Comparison of the Optimality of Statistical Significance Tests for Information Retrieval Evaluation. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 925–928.
 Urbano et al. (2013b) Julián Urbano, Mónica Marrero, and Diego Martín. 2013b. On the Measurement of Test Collection Reliability. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 393–402.
 Urbano and Nagler (2018) Julián Urbano and Thomas Nagler. 2018. Stochastic Simulation of Test Collections: Evaluation Scores. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 695–704.
 van Rijsbergen (1979) Cornelis J. van Rijsbergen. 1979. Information Retrieval. Butterworths.
 Voorhees (2000) Ellen M. Voorhees. 2000. Variations in Relevance Judgments and the Measurement of Retrieval Effectiveness. Information Processing and Management 36, 5 (2000), 697–716.
 Voorhees (2009) Ellen M. Voorhees. 2009. Topic Set Size Redux. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 806–807.
 Voorhees and Buckley (2002) Ellen M. Voorhees and Chris Buckley. 2002. The Effect of Topic Set Size on Retrieval Experiment Error. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 316–323.
 Wilbur (1994) W. John Wilbur. 1994. Nonparametric Significance Tests of Retrieval Performance Comparisons. Journal of Information Science 20, 4 (1994), 270–284.
 Wilcoxon (1945) Frank Wilcoxon. 1945. Individual Comparisons by Ranking Methods. Biometrics Bulletin 1, 6 (1945), 80–83.
 Zobel (1998) Justin Zobel. 1998. How Reliable are the Results of LargeScale Information Retrieval Experiments?. In International ACM SIGIR Conference on Research and Development in Information Retrieval. 307–314.
Comments
There are no comments yet.