Strobl 2007 - Null and Power Case Simulation Design

Summary

One continuous and four categorical predictors with 2, 4, 10 and 20 equiprobable levels, a binary response, , 1000 replications. In the null case nothing is informative, so a sensible importance measure must treat all five predictors equally. In the power case only the binary predictor is informative, with strength set by a relevance parameter in , so a sensible measure must single out the variable with the fewest cutpoints. The design isolates number of categories / scale of measurement as the only thing that differs between predictors.

Overview

The design is a textbook case of using simulation to put a method under a known truth (Designing Simulated-Data Experiments; Morris White Crowther 2019 - Simulation Studies (ADEMP) - Overview). Its cleverness lies in making the informative variable the least favoured by any cardinality artefact: if the method has a bias toward many-category variables, the bias works against detecting , so the power case is a hard test.

Main Content

ADEMP reading of the design

ADEMP elementStrobl et al. (2007)
AimsDo RF importance measures depend on a predictor’s scale of measurement / number of categories? Does cforest + subsampling remove the dependence?
Data-generating mechanismsTables 1-2 below: null case; power case at 4 relevance levels
EstimandsRanking/importance of (truth: all equal in null case; alone relevant in power case); test-set misclassification
Methods2 forest algorithms (randomForest, cforest) × 2 resampling schemes (bootstrap with replacement; subsample without) — plus single trees (rpart, ctree) and tests for the mechanism studies
Performance measuresMean selection frequency; mean Gini importance; distribution (boxplots) of unscaled and scaled permutation importance; rate of correct identification ( has the largest permutation importance); mean test-set misclassification rate

Monte Carlo standard errors are given for rates (Table 3 caption: ) and in parentheses for misclassification means (Table 4). See Effective Sample Size and Monte Carlo Standard Error.

What a sensible measure must do in each case (Methods, §Simulation studies)

Success criteria for an importance measure in the two studies

  • Null case: all predictors and the response are sampled independently, so “a sensible variable importance measure should not prefer any one predictor variable over any other.”
  • Power case: a sensible measure “should be able to distinguish the informative predictor variable from its uninformative competitors, and even more so with increasing degree of dependence.” Separation of from the noise variables should therefore increase monotonically with the relevance parameter.

The results confirm this monotonicity for the correct-identification rate: it “increases with the degree of dependence between and the response” (Results, power case), for every method in Table 3 (^tab-3). What differs between methods is the level of the curve, not its direction.

Table 1 — predictor variables

Predictor distributions (Table 1)

Predictors are sampled independently:

VariableDistributionScaleDistinct binary splits (CART)
continuousup to
nominal, 2 levels1
nominal, 4 levels7
nominal, 10 levels511
nominal, 20 levels524,287

is the standard normal; is the multinomial distribution with values in and equal probabilities (discrete uniform); is the Bernoulli distribution with success probability , so equals .

The last column is a vault addition: an unordered -level factor admits binary partitions; the paper itself only states that a four-category variable “provides seven cutpoints” and that the count “grows exponentially” with the number of categories.

Table 2 — response variable

Response distributions (Table 2)

  • Null case: , independent of all predictors.
  • Power case: , , with .

(The table writes the two levels of as 1 and 2, whereas Table 1 codes on ; the intent — one level lowers, the other raises — is unambiguous.)

Example: effect size implied by the relevance parameter

At relevance , is in one group and in the other, a 40-point difference. With and balanced (~60 per group), the Bayes error is . At relevance the difference is 10 points and the Bayes error . The misclassification rates in Table 4 (0.40 to 0.49) sit above these floors, as expected for forests that also split on four noise variables. (Bayes-error calculation is a vault addition.)

Protocol details

  1. Sample size for all simulation studies.
  2. Replications: 1000 simulation runs per setting; reported values are means or distributions over runs.
  3. Forests: randomForest (Liaw & Wiener’s R port of Breiman’s reference implementation) and cforest (package party); all calls and important options are documented in the paper’s Additional file 1 (R source code).
  4. Resampling: each forest grown (a) on bootstrap samples of size with replacement, (b) on subsamples of size without replacement.
  5. Gini importance is computed for randomForest only.
  6. Prediction accuracy (power case): in each run all methods are applied to the same simulated test set, generated from the same data-generating process as the learning set.
  7. Mechanism studies reuse the null-case design: single rpart and ctree trees for split-selection bias (Fig. 10), and per-variable tests on original vs bootstrap samples for (Fig. 11).

Examples

Example: porting the design to a marketing-feature audit

Setup. Before trusting a driver ranking from a tree model of a weekly KPI (52-156 rows), simulate a placebo: keep the real feature matrix (spend columns, holiday flag, promotion type, region code) but replace the KPI by an independent draw (the null case), then by a KPI that depends only on the binary holiday flag at a chosen effect size (the power case).

Procedure. Refit the exact production pipeline 200-1000 times; record each feature’s importance and how often the holiday flag ranks first.

Interpretation. If the placebo run ranks the region code first most of the time, the production ranking says more about the region code’s cardinality than about its effect. This is the paper’s design, applied to the analyst’s real covariate structure rather than to independent synthetic predictors.

Connections

See Also