Sample size determination for a binary response in a superiority clinical trial using a hybrid classical and Bayesian procedure

Background When designing studies that have a binary outcome as the primary endpoint, the hypothesized proportion of patients in each population experiencing the endpoint of interest (i.e., π 1,π 2) plays an important role in sample size and power calculations. Point estimates for π 1 and π 2 are often calculated using historical data. However, the uncertainty in these estimates is rarely addressed. Methods This paper presents a hybrid classical and Bayesian procedure that formally integrates prior information on the distributions of π 1 and π 2 into the study’s power calculation. Conditional expected power (CEP), which averages the traditional power curve using the prior distributions of π 1 and π 2 as the averaging weight conditional on the presence of a positive treatment effect (i.e., π 2>π 1), is used, and the sample size is found that equates the pre-specified frequentist power (1−β) and the conditional expected power of the trial. Results Notional scenarios are evaluated to compare the probability of achieving a target value of power with a trial design based on traditional power and a design based on CEP. We show that if there is uncertainty in the study parameters and a distribution of plausible values for π 1 and π 2, the performance of the CEP design is more consistent and robust than traditional designs based on point estimates for the study parameters. Traditional sample size calculations based on point estimates for the hypothesized study parameters tend to underestimate the required sample size needed to account for the uncertainty in the parameters. The greatest marginal benefit of the proposed method is achieved when the uncertainty in the parameters is not large. Conclusions Through this procedure, we are able to formally integrate prior information on the uncertainty and variability of the study parameters into the design of the study while maintaining a frequentist framework for the final analysis. Solving for the sample size that is necessary to achieve a high level of CEP given the available prior information helps protect against misspecification of hypothesized treatment effect and provides a substantiated estimate that forms the basis for discussion about the study’s feasibility during the design phase.

detect a particular difference of interest is affected by both the magnitude of the difference and the individual hypothesized values.
Traditional sample size formulas incorporate beliefs about π 1 and π 2 through single point estimates [1]. However, there is often uncertainty in these hypothesized proportions and, thus, a distribution of plausible values that should be considered when determining sample size. Misspecification of these hypothesized proportions in the sample size calculation may lead to an underpowered study, or one that has a low probability of detecting a smaller and potentially clinically relevant difference when such a difference exists [4]. Alternatively, if there is strong evidence in favor of a large difference, a study may be overpowered to detect a small hypothesized difference. Thus, a method for determining sample size that formally uses prior information on the distribution of study design parameters can mitigate the risk that the power calculation will be overly optimistic or overly conservative.
Similar difficulty surrounding the choice of study parameters for a continuous endpoint with known variance [5] and for a continuous endpoint with unknown variance [6] has been discussed previously. We have presented methods that formally incorporate the distribution of prior information on both the treatment effect and the variability of the endpoint into sample size determination. In this paper, we extend these methods to a binary endpoint by using a "hybrid classical and Bayesian" [7] technique based on conditional expected power (CEP) [8] to account for the uncertainty in study parameters π 1 and π 2 when determining the sample size of a superiority clinical trial. Unlike traditional power, which is calculated assuming the truth of a point alternative hypothesis (π 2 − π 1 = A ) for given values of π 1 and π 2 , CEP conditions on the truth of a composite alternative of superiority (e.g., π 2 − π 1 > 0 or π 2 > π 1 ). CEP formally incorporates available prior information on both π 1 and π 2 into the power calculations by averaging the traditional power curve using the product of the prior distribution of π 1 and the conditional prior distribution of π 2 , p(π 2 | π 2 > π 1 ), as the averaging weight. Based on the available prior information, the sample size that yields the desired level of CEP can be used when estimating the required sample size of the study.
While there has been much research in the area of Bayesian sample size determination [9][10][11][12], the hybrid classical and Bayesian method presented here aligns more with the ideas found in traditional frequentist sample size determination. Unlike traditional frequentist methods, however, we do not assume that the true parameters under the alternative hypothesis are known. This assumption rarely holds; typically, parameter values are estimated from early phase or pilot studies, studies of the intervention in different populations, or studies of similar agents in the current population [13,14]. Thus, there is uncertainty surrounding the estimation of these population parameters and natural prior distributions of plausible values of these parameters that should be incorporated into the assessment of a trial's power. Our method incorporates knowledge on the magnitude and uncertainty in the parameters into the traditional frequentist notion of power through explicit prior distributions on these unknown parameters to give CEP. As discussed in the "Methods" Section, CEP is not only well behaved, but it allows us to maintain a definition of power that intuitively converges to the traditional definition. Bayesian methodology is used only during the study design to allow prior information, through the prior distributions, to inform a choice for the sample size. Traditional type I and type II error rates, which have been accepted in practice, are maintained, and inferences are based on the likelihood of the data. The probability of achieving a target value of power using this method is compared to the performance of a traditional design. It is our hope that this formal method for incorporating prior knowledge into the study design will form the basis of thoughtful discussion about the feasibility of the study in order to reduce the number of poorly designed, underpowered studies that are conducted.

CEP for dichotomous outcome
Suppose that the study endpoint is dichotomous so that the probability (risk) of experiencing the event of interest in group 2 (the experimental treatment group), π 2 , is compared to that in group 1 (the control group), π 1 . The responses (i.e., the number of successes) in each group follow a binomial distribution. Assume that after n observations in each independent group or N = 2n total observations, the two-sample Z-test of proportions is performed to test the null hypothesis H 0 : π 2 = π 1 (i.e., π 2 −π 1 = = 0) versus the two-sided alternative hypothesis H 1 : π 2 = π 1 (i.e., π 2 − π 1 = = 0), where π 2 > π 1 indicates benefit of the experimental treatment over the control. The test is based on the test statistic T = p 2 − p 1 , or the difference in the proportion of successes in each sample. Under H 0 : π 2 = π 1 = π, T · ∼ N(0, σ 0 ) in large samples, where σ 0 is the standard deviation of the normal distribution. Assuming equal sample sizes n in each group gives σ 0 = √ 2π(1 − π)/n, where π = (π 1 + π 2 )/2. In this setting, H 0 is rejected at the α-level of significance if |T| ≥ z 1−α/2σ 0 , where z 1−α/2 is the critical value for lower tail area 1 − α/2 of the standard normal distribution and π is estimated by p = (p 1 + p 2 )/2 inσ 0 . A positive conclusion, D 1 , occurs if Z = T/σ 0 ≥ z 1−α/2 .
Under H 1 : π 2 − π 1 = A , T · ∼ N( A , σ 1 ), where σ 1 = √ (π 2 (1 − π 2 ) + π 1 (1 − π 1 ))/n. Thus, the traditional power of this test to detect the hypothesized difference corresponding to values of π 1 and π 2 under H 1 is where [·] is the standard normal cumulative distribution function. Since the traditional power curve is discontinuous at π 2 = π 1 for a two-sided test, we assume a successful outcome or π 2 > π 1 when calculating power; thus, |π 2 − π 1 | = π 2 − π 1 in (1). One may plot the power function for fixed N and π 1 over values of π 2 or equivalently over values of π 2 − π 1 to give the traditional power curve. Figure 1 shows the traditional power surfaces for N = 48 and for N = 80 with hypothesized values of π 2 = 0.7 and π 1 = 0.3. Power curves for fixed π 2 = 0.7 and variable π 1 and for fixed π 1 = 0.3 and variable π 2 are highlighted. Sample size is chosen to give high traditional power (e.g., 0.80 ≤ 1 − β ≤ 0.90) to detect an effect at least as large as the hypothesized difference for π 2 and π 1 by solving (1) for N [2]: The traditional power curve does not account for the uncertainty associated with the unknown population parameters π 2 and π 1 and does not indicate if the planned sample size is adequate given this uncertainty. Average or expected power (EP) was developed as a way to use the distribution of prior beliefs about the unknown parameters to provide an overall predictive probability of a positive conclusion [8,9,[15][16][17][18][19][20][21][22][23][24]. EP, also known as assurance [20], probability of study success [23], or Bayesian predictive power [24], averages the traditional power curve using the prior distributions for the unknown parameters to weight the average without restricting the prior distributions to assume treatment superiority. In the case of a binomial response, assuming π 1 and π 2 are independent yields a special case of the general multivariate formulation which allows the joint distribution p(π 1 , π 2 ) to be factored into the product of the two prior distributions p(π 1 ) and p(π 2 ). Thus, the traditional power curve P(D 1 | π 2 , π 1 ) is averaged using the product of the prior distributions for π 2 and π 1 , p(π 2 ) and p(π 1 ), respectively, as the averaging weight [8], which gives the following formulation for EP: Expected power conditional on the experimental treatment's superiority, π 2 > π 1 , is known as conditional expected power (CEP) [8]. Unlike EP, CEP is found by using the conditional prior distribution for π 2 , p(π 2 | π 2 > π 1 ), in the averaging weight. Since this conditional prior is now dependent on π 1 and equals zero when π 2 ≤ π 1 , to ensure integration to 1 when P(π 1 > π 2 ) > 0, the conditional prior is scaled by the normalization factor P(π 2 > π 1 ) −1 , or the inverse probability of the experimental treatment's superiority. This gives the following formulation for CEP: where The unconditional prior distributions p(π 1 ) and p(π 2 ) are defined such that π 1 / ∈ [ 0, 1] ⇒ p(π 1 ) = 0 and π 2 / ∈ [0, 1] ⇒ p(π 2 ) = 0 (e.g., beta or uniform(0, 1) distributions).
Combining (1) and (3) gives the following equation for CEP: Note, any appropriate sample size and power formulas may be used to evaluate CEP in (5). For example, continuity-corrected versions of (2) or the arcsine approximation [25,26] may alternatively be utilized instead of (2) to determine sample size, while related power formulas may be used instead of (1) for CEP calculations.
To evaluate CEP under a proposed design, find N in (2) for the hypothesized values of π 1 and π 2 , significance level α, and traditional power level 1 − β. Numerical integration may then be used to evaluate CEP (5) for the assumed prior distributions p(π 1 ) and p(π 2 ). If CEP for the proposed design is less than 1 − β, the study is expected to be underpowered under the treatment superiority assumption, and if the CEP is greater than 1 − β, the study is expected to be overpowered. To ensure that the study is expected to be appropriately powered under the treatment superiority assumption, an iterative search procedure can be used to find the value of the sample size N in (5) that gives CEP equal to the threshold of traditional power 1 − β. The value of N that achieves this desired level is denoted N * . As in traditional power, we would like the probability of detecting a difference when a positive difference exists to be high (i.e., 0.80 ≤ 1 − β ≤ 0.90). Pseudo-code 1 outlines the steps for this process.
If the prior distributions put all their mass at a single positive point, essentially becoming a traditional point alternative hypothesis, EP and CEP reduce to Pseudo-Code 1: Find N * input : prior density function p(π 1 ) of proportion π 1 ∈ [0, 1] prior density function p(π 2 ) of proportion π 2 ∈ [0, 1] critical value z 1−α/2 power function (·) of π 1 , π 2 , z 1−α/2 , and sample size N target CEP value 1 − β 1 π 2 =π 1 π 1 , π 2 , z 1−α/2 , N p (π 1 ) p (π 2 ) dπ 2 dπ 1 end N * = N end the traditional formulation of power. However, for prior distributions where P(π 1 > π 2 ) > 0, CEP will be greater than EP, with CEP approaching 1 and EP approaching P(π 2 > π 1 ) as N → ∞: When there is no doubt of a beneficial effect (i.e., P(π 2 > π 1 ) = 1), CEP equals EP. Previous work in this area almost exclusively uses expected power P(D 1 ) to account for uncertainty in study design parameters [8,9,[15][16][17][18][19][20][21][22][23][24], and finds the sample size that gives the desired level of P(D 1 ). Our preference for using CEP as opposed to EP to inform the design of a study is twofold. EP gives the predictive probability of a positive conclusion, regardless of the truth of the alternative hypothesis. CEP, however, is conceptually analogous to traditional power in that it is conditional on the truth of the benefit of the experimental treatment, which provides a more familiar framework for setting the desired level of CEP for a study. Secondly, if P(π 1 > π 2 ) > 0, then EP will not approach 1 as the sample size goes to infinity because lim N→∞ P(D 1 ) = 1 − P(π 1 > π 2 ). CEP, however, is conditioned on π 2 > π 1 , so it approaches 1 as the sample size increases since lim N→∞ P(D 1 | π 2 > π 1 ) = 1 − P(π 1 > π 2 ) P(π 2 > π 1 ) = 1. Thus, CEP is also more mathematically analogous to traditional power in that the probability of correctly reaching a positive conclusion is assured as the sample size goes to infinity.

Prior distributions
The prior distributions p(π 1 ) and p(π 2 ) reflect the current knowledge about the response rate in each treatment group before the trial is conducted. In the design phase of a clinical trial, a review of the literature is often performed. This collection of prior evidence forms a natural foundation for specifying the prior distributions. Historical data are commonly pooled using traditional meta-analysis techniques to calculate an overall point estimate [27,28]; however, a Bayesian random-effects meta-analysis [29][30][31] may be more appropriate when the goal is to hypothesize a prior distribution. The priors can also incorporate the pre-trial consensus of experts in the field [9] or Phase II trial data [22]. Translating and combining prior evidence and opinions to form a prior distribution is often hailed as the most challenging part of using a Bayesian framework [7], and several works [32][33][34][35] describe techniques for eliciting a prior distribution. A beta distribution, which is defined on the interval [0, 1], can be used to describe initial beliefs about the parameters π 1 and π 2 . If π j ∼ Beta(a, b), then where shape parameters a > 0 and b > 0. The mean, variance, and mode of the prior distribution are given by: for a, b > 1, respectively. For fixed μ, larger values of a and b decrease τ 2 . One may choose the shape parameters a and b by fixing the mean and variance of the distribution at fixed values μ and τ 2 , For skewed distributions, one may wish to describe central tendency using the mode m rather than the mean. Under a traditional design, the difference in modes, m 2 − m 1 , is a natural estimate for the hypothesized difference in proportions. When fixing m and τ 2 , the corresponding value of b may be found by solving the general cubic equation The corresponding value of a is given by a = 2m−mb−1 m−1 . ( Table 2 in the Appendix reports the values of a and b for given m and τ 2 .) Notice that for a given variance τ 2 , the value of a when the mode = m equals the value of b when the mode = 1 − m. Thus, when m = 0.5, a = b.
A uniform prior distribution may also be assumed for π j with limits within the interval [0, 1]. The uniform prior has lower bound a and upper bound b, or π j ∼ U(a, b), and is constant over the range [a, b]. The prior is centered at μ = (a + b)/2 with variance τ 2 = (b − a) 2 /12. The non-informative prior distribution that assumes no values of π j are more probable than any others is U(0, 1) ≡ Beta (1,1). One may also restrict the range of the uniform distribution to focus on smaller ranges for π 1 and π 2 . Rather than setting the lower and upper bounds of the uniform, one may set the mean μ < 1 and variance τ 2 < min(μ 2 , (1 − μ) 2 ) 3 of the prior distribution, which gives lower bound a = μ − √ 3 τ 2 and upper bound b = μ + √ 3 τ 2 . Again, under a traditional design, the difference in means μ 2 − μ 1 is a natural estimate for the hypothesized difference in proportions when presented with uniform prior evidence. (Table 3 in the Appendix reports the values of a and b for given μ and τ 2 .) Notice that restrictions exist for the variances assumed for certain means to maintain bounds between [0, 1].

Results
The procedures described in the "Methods" Section were applied to a set of notional scenarios to compare traditionally designed studies to those designed using CEP. The integration step of Pseudo-code 1 was approximated using Riemann sums with step size 0.0001.
An example scenario assumed beta-distributed priors for π 1 and π 2 , such that π 1 ∼ Beta(6.62, 14.11) and π 2 ∼ Beta (14.11, 6.62). For this scenario, a traditionally designed study would select a sample size of N = 48 based on (2) to achieve 80% power and a two-sided type I error of 5%, with hypothesized values of π 1 = mode (Beta(6.62, 14.11)) = 0.3 and π 2 = mode (Beta (14.11, 6, 62)) = 0.7. However, based on the assumed prior distributions, a study with a sample size of 48 could achieve less than 80% power when π 1 = 0.3 or π 2 = 0.7. In fact, based on (5), the study with sample size N = 48 would give CEP = 67.8%. Figure 2a displays the joint distribution of π 1 and π 2 , conditional on π 2 > π 1 , and highlights the region where power would be less than 80% under a traditional design when the sample size is N = 48. For this scenario, the study with sample size N = 48 would achieve power less than the target value in more than 56% of instances when π 2 > π 1 .
For the same scenario, a CEP-designed study would select a sample size of N * = 80 based on Pseudo-code 1 to achieve 80% CEP with a two-sided type I error of 5%. Figure 2b displays the joint distribution of π 1 and π 2 , conditional on π 2 > π 1 , and highlights the region where power would be less than 80% under a CEP design when the sample size is N * = 80. For this scenario, the study with sample size N * = 80 would achieve power less than the target value in approximately 33% of instances when π 2 > π 1 . Note that the intersection of the two regions corresponds to values of π 1 and π 2 that give power from (1) equal to 80% with sample size N = 80.
The probability of achieving power at least equal to the target value, conditional on the experimental treatment's superiority (π 2 > π 1 ), is here termed the performance of the design. While CEP provides a point estimate of power under the treatment superiority assumption, performance Conditional joint prior density p(π 1 )p(π 2 |π 2 > π 1 ) for π 1 ∼ Beta(6.62, 14.11) and π 2 ∼ Beta(14.11, 6.62). a Highlighting region where power < 80% under a traditional design. b Highlighting region where power < 80% under a CEP design indicates how robust the design is. The performance of the design is given by: Thus, the traditionally designed study from the example scenario produced a performance of (100 − 56)% = 44%, while the CEP design, which explicitly accounts for uncertainty, produced a more robust performance of (100 − 33)% = 67%. However, this increase in performance required an increase in sample size from N = 48 to N * = 80. The increase in performance divided by the increase in sample size is here termed the marginal benefit for the scenario due to CEP. The marginal benefit for the example scenario due to CEP is given by (67 − 44)%/(80 − 48) = 0.71%. If there is no uncertainty in the design parameters, then there would be no marginal benefit due to CEP, since the probability of achieving less than the target power would be assumed 0 for a traditionally designed study and the CEP-designed study would give N * = N. On the other hand, if the uncertainty in the design parameters is very large, the marginal benefit may approach 0, since the CEPdesigned study could give N * >> N with limited increase in performance. This is important to consider, since a very small marginal benefit could make it impractical to achieve a desired value for CEP or a desired threshold of performance.
Since the performance and marginal benefit result from the prior distributions of π 1 and π 2 , several notional scenarios were evaluated to explore the relationship between prior distributions, CEP, and performance. Tables 4, 5 and 6 in the Appendix display the results of several scenarios that assumed Beta-distributed priors for π 1 and π 2 . The mode and variance of p(π j ), j = 1, 2, are denoted m j and τ 2 j , respectively. The procedure for generating the results from Table 4 in the Appendix, for which τ 2 1 = τ 2 2 , is given below: 1. The modes, m 1 and m 2 , and variances, τ 2 1 = τ 2 2 , were used to hypothesize a beta prior distribution for π 1 and π 2 , respectively. 2. For each pair of prior distributions (p(π 1 ), p(π 2 )) considered: (a) Traditional sample size is found using (2) by setting the hypothesized values of π 1 and π 2 equal to the mode of each prior, m 1 and m 2 , respectively. Two-sided type I error α = 0.05 and traditional power 1 − β = 0.80 are assumed. Traditional sample size is denoted N. IfN is odd, the sample size is increased by 1 to provide equal sample size for both groups. (b) The CEP of the traditional design is found using (5), with N =N, two-sided α = 0.05, and 1 − β = 0.80. (c) The performance of the traditional design is found using (6), with N =N, two-sided α = 0.05, and 1 − β = 0.80. (d) The smallest sample size for which CEP evaluates to ≥ 1 − β is found using Pseudo-Code 1 and is denoted N * . If N * is odd, the sample size is increased by 1 to provide equal sample size for both groups. (e) The probability of a positive treatment effect, P(π 2 > π 1 ), is found using (4) with Riemann sum integral approximations. (f) The conditional expected difference, E(π 2 − π 1 |π 2 > π 1 ), is found using Riemann sum integral approximations of (g) The performance of the CEP design is found using (6), with N = N * , two-sided α = 0.05, and 1 − β = 0.80.
(h) The marginal benefit due to CEP for the scenario is found by dividing the difference between the CEP design performance and the traditional design performance by the difference between the CEP sample size and the traditional sample size, N * −N. Table 4 in the Appendix shows that when m 2 − m 1 > 1/3, the performance of the traditional design decreases as τ 2 1 = τ 2 2 increases. This is explained by the fact that the conditional expected difference is less than the hypothesized difference that was used in the traditional design sample size calculation. This occurs for m 2 − m 1 > 1/3 since both prior distributions are approaching U(0, 1) as τ 2 1 = τ 2 2 increases, and E(π 2 − π 1 |π 2 > π 1 ) = 1/3 for π 1 , π 2 ∼ U(0, 1). Thus, when m 2 − m 1 < 1/3, the performance of the traditional design increases as τ 2 1 = τ 2 2 increases since the hypothesized difference is less than the limit of the conditional expected difference. When m 2 − m 1 is smaller than E(π 2 − π 1 |π 2 > π 1 ), CEP will be high for a traditional design with hypothesized difference m 2 − m 1 , since it is designed to detect a difference smaller than the expected difference.
Excursions with uniform priors were performed. Table 7 in the Appendix shows that the performance of a traditional design under a uniform prior is similar to the performance observed in Table 4 in the Appendix. However, fewer trends are visible because the parameters of Decreases as τ 2 2 increases Decreases as τ 2 2 increases the uniform distribution are more restricted than the parameters of the beta distribution. As expected, the performance of the CEP design changes minimally as τ 2 1 = τ 2 2 increases, since N * is chosen to explicitly account for changes in τ 2 1 = τ 2 2 . Note, N * is directly tied to E(π 2 − π 1 |π 2 > π 1 ): N * increases as the conditional expected difference decreases, and N * decreases as the conditional expected difference increases. This occurs because increasing the variability can increase the conditional expected difference if the resulting conditional priors give more relative weight to larger differences and less relative weight to smaller differences compared to the unconditional priors. This is more likely to occur when m 1 is large, since increasing the variability when m 1 is large will make smaller values of π 1 more likely due to the condition that π 2 > π 1 . Similarly, when m 2 is small, larger values of π 2 are more likely under the assumption that π 2 > π 1 .
The marginal benefit due to CEP is greatest for small values of τ 2 1 = τ 2 2 . This is so because the relative difference betweenN and N * is smallest when the uncertainty is low (i.e., when the traditional assumptions closely approximate the CEP assumptions). However, the marginal benefit due to CEP decreases minimally or remains constant as the uncertainty increases because the difference in performance is always less than 1, while the difference in sample size, N * −N, can be greater than 200 in some cases. Furthermore, as τ 2 1 = τ 2 2 increases, the performance of the traditional design can improve even thoughN remains constant, while N * may have to increase to maintain the performance of the CEP design.
When τ 2 1 is fixed at 0.001, the performance of the CEP design remains stable at approximately 0.7. However, the marginal benefit is greater with fixed, low uncertainty in π 1 compared with the changing uncertainty in Table 4 in the Appendix. The sample size required to achieve CEP of 1 − β with fixed τ 2 1 is reduced compared to scenarios with changing τ 2 1 . This is because uncertainty in the control group is small, which indicates that reducing the uncertainty in the control parameter can increase the benefit of CEP to the study.
When τ 2 1 is fixed at 0.08, the performance of the CEP design remains stable at approximately 0.71. However, the marginal benefit is very small because N * is always greater than that in Table 4 or Table 5 in the Appendix due to the larger uncertainty in π 1 . Again, this demonstrates that it is beneficial to minimize the uncertainty in π 1 to increase the marginal benefit.
Note that for small differences in m 2 − m 1 and any large variance, the CEP design can reduce the sample size from the value determined from a traditional design. The reason is that increased uncertainty under the treatment superiority assumption increases the likelihood of differences greater than m 2 − m 1 .

Discussion
Many underpowered clinical trials are conducted with limited justification for the chosen study parameters used to determine the required sample size [36,37] with scientific, economic, and ethical implications [36,38]. While sample size calculations based on traditional power assume no uncertainty in the study parameters, the hybrid classical and Bayesian procedure presented here formally accounts for the uncertainty in the study parameters by incorporating the prior distributions for π 1 and π 2 into the calculation of conditional expected power (CEP). This method allows available evidence on both the magnitude and the variability surrounding the parameters to play a formal role in determining study power and sample size.
In this paper, we explored several notional scenarios to compare the performance of the CEP design to that of a design based on traditional power. We show that if there is uncertainty in the study parameters and a distribution of plausible values for π 1 and π 2 , the performance of the CEP design is more consistent and robust than that of traditional designs based on point estimates for the study parameters. Traditional sample size calculations based on point estimates for the hypothesized study parameters tend to underestimate the required sample size needed to account for the uncertainty in the parameters.
The scenarios demonstrate that reducing uncertainty in the control parameter π 1 can lead to greater benefit from the CEP-designed study, because the relative difference betweenN and N * is smallest when uncertainty is low. Therefore, it is worthwhile to use historical information to reduce the variability in the control group proportion rather than focusing only on the prior for the experimental treatment group. Nonetheless, when there is significant overlap between the prior distributions and a small hypothesized difference m 2 − m 1 , traditional study designs can be overpowered under the treatment superiority assumption compared to the CEP design, and the CEP design would result in a smaller sample size. This happens because increased uncertainty under the treatment superiority assumption increases the relative likelihood of differences greater than m 2 − m 1 .
In the scenarios we evaluated, the performance of the traditional design was highly dependent on the prior distributions but exhibited predictable behavior. The CEP design, however, consistently generated performance near 70% across all scenarios. This indicates that power greater than the target 1 − β would not be uncommon for a CEP design. This begs the question of whether or not 1 − β is an appropriate target for CEP, since it could apparently lead to overpowered studies. To avoid this issue, one may use a lower target for CEP or instead design the study using a target value of performance and use our iterative N * search to find the design that achieves acceptable performance.
Additionally, when comparing the method based on CEP to similar methods based on expected power, the sample size from a CEP design will always be less than or equal to the sample size required to achieve equivalent EP. While pure Bayesian methods of sample size determination that compute prior effective sample size to count the information contained in the prior towards the current study will generally yield a smaller sample size than traditional frequentist methods [10], the method presented here does not assume that prior information will be incorporated into the final analysis.

Conclusions
The hybrid classical and Bayesian procedure presented here integrates available prior information about the study design parameters into the calculation of study sample size for a binary endpoint. This method allows prior information on both the magnitude and uncertainty surrounding the parameters π 1 and π 2 to inform the design of the current study through the use of conditional expected power. When there is a distribution of plausible study parameters, the design based on conditional expected power tends to outperform the traditional design. Note that if the determined sample size N * is greater than what can be feasibly recruited in the proposed trial, this may indicate excessive uncertainty about the study parameters and should encourage serious discussion concerning the advisability of the study. Thus, we do not recommend that N * be blindly used as the final study sample size, but we hope that this method encourages a careful synthesis of the prior information and motivates thoughtful discussion about the feasibility of the study in order to reduce the number of poorly designed, underpowered studies that are conducted. Table 2 presents the values of shape paramaters [a, b] for given m and τ 2 for the beta distribution. Table 3 reports the values of minimum and maximum parameters [a, b] for given μ and τ 2 for the uniform distribution.  Table 4 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = τ 2 2 . Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed Traditional design CEP design  Table 4 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = τ 2 2 . Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued)  Table 4 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = τ 2 2 . Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued)  Table 5 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.001. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed  Table 5 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.001. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued)  Table 5 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.001. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued) ( Table 6 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.08. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (τ 2 1 = 0.08) Traditional design CEP design  Table 6 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.08. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued) ( Table 6 Sample scenarios assuming beta priors p(π 1 ) and p(π 2 ) where τ 2 1 = 0.08. Hypothesized values of π 1 and π 2 set equal to m 1 and m 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed (Continued) ( Table 7 Sample scenarios assuming uniform priors p(π 1 ) and p(π 2 ) where τ 2 1 = τ 2 2 . Hypothesized values of π 1 and π 2 set equal to μ 1 and μ 2 , respectively, under the traditional design. Two-sided α = 0.05 and 1 − β = 0.80 assumed Traditional design CEP design (μ 1 , μ 2 ) τ 2 1 = τ 2