The SEQDESIGN Procedure

Unified Family Methods

Unified family methods (Kittelson and Emerson, 1999) derive boundary values with a specified boundary shape. For example, Pocock’s method (Pocock, 1977) derives equal boundary values for all stages in the standardized Z scale. In addition to Pocock’s method, the unified family methods include the O’Brien-Fleming, power family, and unified family triangular methods.

The boundary values at each stage depend on the information fractions

\[  \Pi _{k} = \frac{I_{k}}{I_{X}}  \]

where $I_{k}$ is the information available at stage k and $I_{X}$ is the maximum information, the information available at the end of the trial if the trial does not stop early.

Boundary Values in Standardized Z Scale

With the unified family method, the boundary values for the upper $\alpha $ boundary $Z_{\alpha u}$, upper $\beta $ boundary $Z_{\beta u}$, lower $\beta $ boundary $Z_{\beta l}$, and lower $\alpha $ boundary $Z_{\alpha l}$, using the standardized normal scale, are given by the following:

  • $Z_{\alpha u}({\Pi }_{k}) = f_{\alpha u}({\Pi }_{k}) \,  C_{\alpha u}$

  • $Z_{\beta u}({\Pi }_{k}) = {\theta }_{1u} \,  I_{k}^{\frac{1}{2}} - f_{\beta u}({\Pi }_{k}) \,  C_{\beta u}$

  • $Z_{\beta l}({\Pi }_{k}) = {\theta }_{1l} \,  I_{k}^{\frac{1}{2}} + f_{\beta l}({\Pi }_{k}) \,  C_{\beta l}$

  • $Z_{\alpha l}({\Pi }_{k}) = - f_{\alpha l}({\Pi }_{k}) \,  C_{\alpha l}$

where ${\theta }_{1l} (<0)$ and ${\theta }_{1u} (>0)$ are the lower and upper alternative references, $f_{\alpha l}({\Pi }_{k})$, $f_{\beta l}({\Pi }_{k})$, $f_{\beta u}({\Pi }_{k})$, and $f_{\alpha u}({\Pi }_{k})$ are the specified shape functions, and $C_{\alpha l}$, $C_{\beta l}$, $C_{\beta u}$, and $C_{\alpha u}$ are the critical values derived to achieve the specified $\alpha $ and $\beta $ levels.

If a derived lower $\beta $ boundary value $Z_{\beta l}({\Pi }_{k})$ is greater than its corresponding upper $\beta $ boundary value $Z_{\beta u}({\Pi }_{k})$, then both values are set to missing.

Note that the drift parameters $d_{l}= {\theta }_{1l} \sqrt {I_{X}}$ and $d_{u}= {\theta }_{1u} \sqrt {I_{X}}$ are derived in the SEQDESIGN procedure. The boundary values in standardized Z scale can be derived without specifying the maximum information and alternative reference.

Shape Parameters

The shape function in the SEQDESIGN procedure is given by

\[  f({\Pi }_{k}) = f({\Pi }_{k}; \tau , \rho ) = \tau \,  {\Pi }^{\frac{1}{2}}_{k} + {\Pi }^{-\rho }_{k} = {\Pi }^{\frac{1}{2}}_{k} \,  ( \tau + {\Pi }^{-(\rho +\frac{1}{2})}_{k} )  \]

where the parameters $\rho \ge 0$ and $0 \leq \tau \leq 2\rho $. can be specified for each boundary separately.

The parameters $\tau $ and $\rho $ determine the shape of the boundaries. Special cases of the unified family methods also include power family methods and triangular methods. Table 89.6 summarizes the corresponding parameter values in the unified family for these methods.

Table 89.6: Parameters in the Unified Family for Various Methods

     

Unified Family

Method

Option

 

Rho

Tau

Pocock

POC

 

0

0

O’Brien-Fleming

OBF

 

0.5

0

Power family

POW (RHO=$\rho $

 

$\rho $

0

Triangular

TRI (TAU=$\tau $)

 

0.5

$\tau $


Note that the power parameter $\rho = 1/2 - \Delta = \rho ^{*} - 1/2$, where $\Delta $ is the power parameter used in Jennison and Turnbull (2000) and Wang and Tsiatis (1987) and $\rho ^{*}$ is the power parameter used in Kittelson and Emerson (1999).

Also note that instead of the three parameters used in the unified family methods by Kittelson and Emerson (1999), only two parameters are used in the SEQDESIGN procedure. The other parameter is fixed at zero.

Boundary Values in MLE Scale

If the maximum information is available, the boundary values derived from a unified family method can also be displayed in the MLE scale:

  • $\theta _{\alpha u}({\Pi }_{k}) = I^{-\frac{1}{2}}_{k} \,  f_{\alpha u}({\Pi }_{k}) \,  C_{\alpha u}$

  • $\theta _{\beta u}({\Pi }_{k}) = {\theta }_{1u} - I^{-\frac{1}{2}}_{k} \,  f_{\beta u}({\Pi }_{k}) \,  C_{\beta u}$

  • $\theta _{\beta l}({\Pi }_{k}) = {\theta }_{1l} + I^{-\frac{1}{2}}_{k} \,  f_{\beta l}({\Pi }_{k}) \,  C_{\beta l}$

  • $\theta _{\alpha l}({\Pi }_{k}) = - I^{-\frac{1}{2}}_{k} \,  f_{\alpha l}({\Pi }_{k}) \,  C_{\alpha l}$

These MLE scale boundary values are computed by multiplying $I^{-\frac{1}{2}}_{k}$ by the standardized Z scale boundary values at stage k.

Boundary Values in Score Scale

If the maximum information is available, the boundary values derived from a unified family method can also be displayed in the score scale:

  • $S_{\alpha u}({\Pi }_{k}) = I^{\frac{1}{2}}_{k} \,  f_{\alpha u}({\Pi }_{k}) \,  C_{\alpha u}$

  • $S_{\beta u}({\Pi }_{k}) = {\theta }_{1u} \,  I_{k} - I^{\frac{1}{2}}_{k} \,  f_{\beta u}({\Pi }_{k}) \,  C_{\beta u}$

  • $S_{\beta l}({\Pi }_{k}) = {\theta }_{1l} \,  I_{k} + I^{\frac{1}{2}}_{k} \,  f_{\beta l}({\Pi }_{k}) \,  C_{\beta l}$

  • $S_{\alpha l}({\Pi }_{k}) = - I^{\frac{1}{2}}_{k} \,  f_{\alpha l}({\Pi }_{k}) \,  C_{\alpha l}$

These MLE scale boundary values are computed by multiplying $I^{\frac{1}{2}}_{k}$ by the standardized Z scale boundary values at stage k.

Boundary Values in p-Value Scale

For a design with a lower alternative or a two-sided alternative, the p-value scale boundary values are the cumulative normal distribution function values of the standardized Z boundary values:

  • $P_{\alpha u}({\Pi }_{k}) = \Phi ( Z_{\alpha u}({\Pi }_{k}) )$

  • $P_{\beta u}({\Pi }_{k}) = \Phi ( Z_{\beta u}({\Pi }_{k}) )$

  • $P_{\beta l}({\Pi }_{k}) = \Phi ( Z_{\beta l}({\Pi }_{k}) )$

  • $P_{\alpha l}({\Pi }_{k}) = \Phi ( Z_{\alpha l}({\Pi }_{k}) )$

These nominal p-values are the one-sided fixed-sample p-values under the null hypothesis with a lower alternative.

For a one-sided design with an upper alternative, the p-value scale boundary values are the one-sided fixed-sample p-values under the null hypothesis with an upper alternative:

  • $P_{\alpha u}({\Pi }_{k}) = 1 - \Phi ( Z_{\alpha u}({\Pi }_{k}) )$

  • $P_{\beta u}({\Pi }_{k}) = 1 - \Phi ( Z_{\beta u}({\Pi }_{k}) )$

Pocock’s Method

The shape function for Pocock’s method (Pocock, 1977) is given by

\[  f({\Pi }_{k}) = 1  \]

The resulting boundary values for a two-sided design with an early stopping to reject the null hypothesis $H_{0}: \theta = 0$ are as follows:

  • $Z_{\alpha u}({\Pi }_{k}) = C_{\alpha u}$

  • $Z_{\alpha l}({\Pi }_{k}) = - C_{\alpha l}$

That is, the rejection boundary values are constant over all stages of different information levels in the standardized Z scale.

Note that compared with other designs, Pocock’s design tends to stop the trials early with a larger p-value. For a new treatment, Pocock’s design to stop a trial early with a large p-value might not be persuasive enough to make a new treatment widely accepted (Pocock and White, 1999). A Pocock design is illustrated in Example 89.3.

O’Brien-Fleming Method

The shape function for the O’Brien-Fleming method (O’Brien and Fleming, 1979) is given by

\[  f({\Pi }_{k}) = {\Pi }^{-\frac{1}{2}}_{k}  \]

The resulting boundary values for a two-sided design with early stopping to reject the null hypothesis $H_{0}: \theta = 0$ are as follows:

  • $Z_{\alpha u}({\Pi }_{k}) = {\Pi }^{-\frac{1}{2}}_{k} \,  C_{\alpha u}$

  • $Z_{\alpha l}({\Pi }_{k}) = - {\Pi }^{-\frac{1}{2}}_{k} \,  C_{\alpha l}$

That is, the rejection boundaries are inversely proportional to the square root of the information levels in the standardized Z scale.

In the score scale, these boundaries can be displayed as follows:

  • $S_{\alpha u}({\Pi }_{k}) = C_{\alpha u} \,  I^{\frac{1}{2}}_{X}$

  • $S_{\alpha l}({\Pi }_{k}) = - C_{\alpha l} \,  I^{\frac{1}{2}}_{X}$

which are constants over all stages in the score scale. An O’Brien-Fleming design is illustrated in Example 89.2.

Power Family Method

The shape function for a power family method (Wang and Tsiatis, 1987; Emerson and Fleming, 1989; Pampallona and Tsiatis, 1994) is given by

\[  f({\Pi }_{k}) = {\Pi }^{-\rho }_{k}  \]

The resulting boundary values for a two-sided design with early stopping to reject the null hypothesis $H_{0}: \theta = 0$ are as follows:

  • $Z_{\alpha u}({\Pi }_{k}) = {\Pi }^{-\rho }_{k} \,  C_{\alpha u}$

  • $Z_{\alpha l}({\Pi }_{k}) = - {\Pi }^{-\rho }_{k} \,  C_{\alpha l}$

The rejection boundaries depend on the power parameter $\rho $. The power family includes the Pocock and O’Brien-Fleming methods, and the power parameter is used to allow continuous movement between these two methods.

Triangular Method

The shape function for a triangular method (Kittelson and Emerson, 1999) in the unified family is given by

\[  f({\Pi }_{k}) = {\Pi }^{-\frac{1}{2}}_{k} + \tau \,  {\Pi }^{\frac{1}{2}}_{k}  \]

The resulting boundary values for a two-sided design with early stopping to reject the null hypothesis $H_{0}: \theta = 0$ are as follows:

  • $Z_{\alpha u}({\Pi }_{k}) = ( {\Pi }^{-\frac{1}{2}}_{k} + \tau \,  {\Pi }_{k}^{\frac{1}{2}} ) \,  C_{\alpha u} = C_{\alpha u} \,  {\Pi }^{-\frac{1}{2}}_{k} \,  ( 1 + \tau \,  {\Pi }_ k )$

  • $Z_{\alpha l}({\Pi }_{k}) = - ( {\Pi }^{-\frac{1}{2}}_{k} + \tau \,  {\Pi }_{k}^{\frac{1}{2}} ) \,  C_{\alpha l} = - C_{\alpha l} \,  {\Pi }^{-\frac{1}{2}}_{k} \,  ( 1 + \tau \,  {\Pi }_ k )$

In the score scale, these boundaries are as follows:

  • $S_{\alpha u}({\Pi }_{k}) = C_{\alpha u} \,  I^{\frac{1}{2}}_{X} \,  ( 1 + \tau \,  {\Pi }_ k ) = C_{\alpha u} \,  I^{\frac{1}{2}}_{X} + C_{\alpha u} \tau I^{-\frac{1}{2}}_{X} \,  I_{k}$

  • $S_{\alpha l}({\Pi }_{k}) = - C_{\alpha l} \,  I^{\frac{1}{2}}_{X} \,  ( 1 + \tau \,  {\Pi }_ k ) = - C_{\alpha l} \,  I^{\frac{1}{2}}_{X} - C_{\alpha l} \tau I^{-\frac{1}{2}}_{X} \,  I_{k}$

Thus, in the score scale, the boundary function is a linear function of the information $I_{k}$. With these straight-line boundaries, a triangular method for a one-sided trial with early stopping to reject or accept the null hypothesis produces a triangular continuation region. Similarly, for a two-sided design, the continuation region is a union of two separate triangular regions. A triangular method is illustrated in Example 89.6.