Selective Sequential Model Selection
Abstract
Many model selection algorithms produce a path of fits specifying a sequence of increasingly complex models. Given such a sequence and the data used to produce them, we consider the problem of choosing the least complex model that is not falsified by the data. Extending the selectedmodel tests of fithian2014optimal, we construct values for each step in the path which account for the adaptive selection of the model path using the data. In the case of linear regression, we propose two specific tests, the max test for forward stepwise regression (generalizing a proposal of buja2014), and the nextentry test for the lasso. These tests improve on the power of the saturatedmodel test of tibshirani2014exact, sometimes dramatically. In addition, our framework extends beyond linear regression to a much more general class of parametric and nonparametric model selection problems.
To select a model, we can feed our singlestep values as inputs into sequential stopping rules such as those proposed by gsell2013sequential and li2015accumulation, achieving control of the familywise error rate or false discovery rate (FDR) as desired. The FDRcontrolling rules require the null values to be independent of each other and of the nonnull values, a condition not satisfied by the saturatedmodel values of tibshirani2014exact. We derive intuitive and general sufficient conditions for independence, and show that our proposed constructions yield independent values.
1 Introduction
Many model selection procedures produce a sequence of increasingly complex models, leaving the data analyst to choose among them. Given such a path, we consider the problem of choosing the simplest model in the path that is not falsified by the available data. Examples of path algorithms include forward stepwise linear regression, least angle regression (LAR) and the everactive path in lasso (regularized) regression. tibshirani2014exact study methods for generating exact values at each step of these path algorithms, and their methods provide a starting point for our proposals. Other related works include loftus2014significance, who describe values for path algorithms that add groups of variables (instead of individual variables) at each step, and choi2014selecting, who describe values for steps of principle components analysis (each step marking the estimation of a principle component direction).
We consider the following workflow: to select a model, we compute a set of sequential values at each step of the model path, and then feed them into a stopping rule that is guaranteed to control the false discovery rate (FDR) (benjamini1995controlling), familywise error rate (FWER), or a similar quantity. Recently gsell2013sequential and li2015accumulation proposed sequential stopping rules of this kind. Both sets of rules require that once we have reached the first correct model in our path, the values in subsequent steps are uniform and independent. While this is not true of the values constructed in tibshirani2014exact, in this paper we develop a theoretical framework for constructing sequential values satisfying these properties, and give explicit constructions.
Our approach and analysis are quite general, but we begin by introducing a specific example: the selective max test for forward stepwise regression. This is a selective sequential version of the max test of buja2014, generalized using the theory in fithian2014optimal.
1.1 The max Test in Forward Stepwise Regression
Forward stepwise regression is a greedy algorithm for building a sequence of nested linear regression models. At each iteration, it augments the current model by including the variable that will minimize the residual sum of squares (RSS) of the next fitted model. Equivalently, it selects the variable with the largest statistic, adjusting for the variables in the current model.
For a design matrix , with columns , and a response vector , let denote the current active set, the set of predictor variables already selected, and let denote the residual sum of squares for the corresponding regression model. For let denote the multivariate statistic of variable , adjusting for the active variables. Using the standard result that
we see that the next variable selected is
with corresponding statistic . The selective max test rejects for large values of , compared to an appropriate conditional null distribution that accounts for the adaptive selection of the model path.
Table 1 illustrates the max test and two others applied to the diabetes data from LARS, consisting of observations of patients. The response of interest is a quantitative measure of disease progression one year after baseline, and there are ten measured predictors — age, sex, bodymass index, average blood pressure, and six blood serum measurements — plus quadratic terms, giving a total of features. We apply forward stepwise regression to generate the model path (beginning with an intercept term, which we represent as a predictor ), and then use each of the three methods to generate values at each step along the path. Finally, we use the ForwardStop rule (gsell2013sequential) at FDR level to select a model based on the sequence of values. The bolded entry in each column indicates the last variable selected by ForwardStop.
Step  Variable  Nominal value  Saturated value  Max value 

1  bmi  0.00  0.00  0.00 
2  ltg  0.00  0.00  0.00 
3  map  0.00  0.05  0.00 
4  age:sex  0.00  0.33  0.02 
5  bmi:map  0.00  0.76  0.08 
6  hdl  0.00  0.25  0.06 
7  sex  0.00  0.00  0.00 
8  glu  0.02  0.03  0.32 
9  age  0.11  0.55  0.94 
10  map:glu  0.17  0.91  0.91 
11  tc  0.15  0.37  0.25 
12  ldl  0.06  0.15  0.01 
13  ltg  0.00  0.07  0.04 
14  age:ldl  0.19  0.97  0.85 
15  age:tc  0.08  0.15  0.03 
16  sex:map  0.18  0.05  0.40 
17  glu  0.23  0.45  0.58 
18  tch  0.31  0.71  0.82 
19  sex:tch  0.22  0.40  0.51 
20  sex:bmi  0.27  0.60  0.44 
The nominal (unadjusted) values in column 1 of Table 1 are computed by comparing to the distribution with degrees of freedom, which would be the correct distribution if the sequence of models were selected before observing the data. Because the model sequence is in fact selected adaptively to maximize the absolute value of , this method is highly anticonservative.
The max test values in column 3 are computed using the same test statistic , but compared with a more appropriate null distribution. We can simulate the distribution of under the null model, i.e., the linear regression model specified by active set :
where is the matrix with columns . As is the complete sufficient statistic for , we can sample from the conditional null distribution of given and the current active set , using the selectedmodel test framework of fithian2014optimal. In step one, because is fixed and is independent of , the conditional test reduces to the max test proposed in buja2014. In later steps, and are not conditionally independent given , but we can numerically approximate the null conditional distribution through Monte Carlo sampling.
The saturatedmodel values in column 2 also account for selection, but they rely on somewhat different assumptions, condition on more information, and test a slightly different null hypothesis. We discuss these distinctions in detail in Section 2.3.
For most of the early steps in Table 1, the (invalid) nominal test gives the smallest values, followed by the max test, then the saturatedmodel test. Both the max and saturatedmodel values are exactly uniform under the null, but the max values appear to be more powerful under the alternative. As we will discuss in Section 5, selectedmodel tests such as the max can be much more powerful than saturatedmodel tests in early steps of the path when multiple strong variables are competing with each other to enter the model first. In the diabetes example, using the max values, ForwardStop selects a model of size 8, compared to size 3 when using the saturatedmodel values.
The null max values are independent, while the saturatedmodel values are not, and hence ForwardStop is guaranteed to control FDR when using the former but not the latter. In Section 4 we discuss intuitive sufficient conditions for independence and show that the max and many other selectedmodel tests satisfy these conditions.
1.2 Outline
For the remainder of the article we will discuss the problem of selective sequential model selection in some generality, returning periodically to the selective max test in forward stepwise regression and its lasso regression counterpart, the nextentry test, as intuitive and practically important running examples.
In comparison to their saturatedmodel counterparts, we will see that the selectedmodel tests proposed here have three main advantages: power, independence (in many cases), and generalizability beyond linear regression. These advantages do not come entirely for free, as we will see: when is known, the selectedmodel methods test a more restrictive null hypothesis than the saturatedmodel methods. In addition, the selectedmodel tests require acceptreject or Markov Chain Monte Carlo (MCMC) sampling, while the saturatedmodel tests can be carried out in closed form.
Sections 2 and 3 introduce the general problem setting and review relevant literature on testing ordered hypotheses using a sequence of values. Many of these methods require the values to be uniform and independent under the null, and we derive general conditions to ensure this property in Section 4. In Section 5 we contrast selectedmodel and saturatedmodel tests in the linear regression setting, and explain why selectedmodel tests are often much more powerful in early steps of the path. In Section 6 we discuss strategies for sampling from the null distribution for our tests, and prove that in forward stepwise regression and lasso (regularized) regression, the number of constraints in the sampling problem is never more than twice the number of variables. We provide a simulation study in Section 7, and Section 8 discusses applications of our framework beyond linear regression to decision trees and nonparametric changepoint detection. The paper ends with a discussion.
2 Selective Sequential Model Selection
In the general setting, we observe data with unknown sampling distribution , and then apply some algorithm to generate an adaptive sequence of nested statistical models contained in some upper model :
By model, we mean a family of candidate probability distributions for . For example in linear regression, a model specifies the set of predictors allowed to have nonzero coefficients (but not the values of their coefficients). Note the “assumption” of an upper model involves no loss of generality — we can always take as the union of all models under consideration. We will use the notation to denote the sequence , which we call the model path. We assume throughout that for each candidate model there is a minimal sufficient statistic , and write
Given data and model path , we set ourselves the formal goal of selecting the simplest correct model: the smallest for which . Of course, in most real data problems all of the in the path, as well as all other models under consideration, are incorrect. In more informal terms, then, we seek the simplest model in the path that is not refuted by the available data.
Define the completion index by , the index of the first correct model. By construction, . A stopping rule is any estimator of , with “rejected” if , and “accepted” otherwise. Because is the number of models we do reject, and is the number we should reject, the number of type I errors is , while the number of type II errors is . Depending on the scientific context, we might want to control the FWER: , the FDR: , or another error rate such as a modified FDR, defined by the expectation of some loss function :
(1) 
2.1 SingleStep Values
We will restrict our attention to stopping rules like those recently proposed by gsell2013sequential and li2015accumulation, which operate on a sequence of values. At each step , we will construct a value for testing
against the alternative that , accounting for the fact that is chosen adaptively.
Following fithian2014optimal, we say that for a fixed candidate null model , the random variable is a valid selective value for at step if it is stochastically larger than uniform (henceforth superuniform) under sampling from any , given that is selected. That is,
Once we have constructed selective values for each fixed , we can use them as building blocks to construct a combined value for the random null . Define
which is superuniform on the event :
(2) 
One useful strategy for constructing exact selective tests is to condition on the sufficient statistics of the null model . By sufficiency, the law
is the same for every . Thus, we can construct selective tests and values by comparing the realized value of any test statistic to its known conditional distribution under the null. It remains only to choose the test statistic and compute its conditional null distribution, which can be challenging. See fithian2014optimal for a general treatment. Section 6 discusses computational strategies for the tests we propose in this article.
2.2 Sparse Parametric Models
Many familiar path algorithms, including forward stepwise regression, least angle regression (LAR), and the lasso regression (thought of as producing a path of models over its regularization parameter ), are methods for adaptively selecting a set of predictors in linear regression models where we observe a random response as well as a fixed design matrix , whose columns correspond to candidate predictors. For each possible active set , there is a corresponding candidate model
which is a subset of the full model
If the error variance is known, the complete sufficient statistic for is ; otherwise it is .
For the most part, we can discuss our theory and proposals in a parametric setting generalizing the linear regression problem above. Let be a model parameterized by :
For any subset define the sparse submodel with active set as follows:
We can consider path algorithms that return a sequence of nested active sets
inducing a model path with for . We will be especially interested in two generic path algorithms for the sparse parametric setting: forward stepwise paths and everactive regularization paths. As we will see in Section 4.3, both methods generically result in independent null values. For a nonparametric example see Section 8.2.
2.2.1 Forward Stepwise Paths and Greedy Likelihood Ratio Tests
Let denote the loglikelihood for model . A generic forward stepwise algorithm proceeds as follows: we begin with some fixed set (such as an interceptonly model), then at step , we set
(3) 
That is, at each step we select the next variable to maximize the likelihood of the next fitted model (in the case of ties, we could either choose randomly or select both variables).
A natural choice of test statistic is the greedy likelihood ratio statistic
(4) 
which is the generalized likelihood ratio statistic for testing against the “greedy” alternative with one more active parameter, . The selective greedy likelihood ratio test rejects for large , based on the law
Because the likelihood in linear regression is a monotone decreasing function of the residual sum of squares, the max test is equivalent to the greedy likelihood ratio test. The counterpart of the max test in linear regression with known is the max test, which differs only in replacing the statistics with their corresponding statistics. The max test is also equivalent to the selective greedy likelihood ratio test.
For simplicity, we have implicitly made two assumptions: that only one variable is added at each step, and that the set of candidate variables we choose from is the same in each step. It is relatively straightforward to relax either assumption, but we do not pursue such generalizations here.
2.2.2 EverActive Regularization Paths and NextEntry Tests
Another important class of model selection procedures is the sequence of everactive sets for a regularized likelihood path, under a sparsityinducing regularizer such as a scaled norm. The notion of everactive sets is needed since these solution paths can drop (as well as add) predictors along the way. For some ordered set , let parameterize the regularization penalty . As an example, for a lasso penalty, this is with .
Assume for simplicity that there is a unique solution to each penalized problem of the form
(5) 
It may be impossible or inconvenient to compute for every . If so, we can instead take to be a grid of finitely many values.
We define the everactive set for as
(6) 
Note that the everactive sets are nested by construction. In addition, we will assume for every . Our model path will correspond to the sequence of distinct everactive sets. Formally, let
and for , let denote the (random) value of where the active set changes for the th time:
In this setting, is a natural test statistic for model , with larger values suggesting a poorer fit. The selective nextentry test is the test that rejects for large , based on the law
Remark.
In its usual formulation, the lasso coefficients for linear regression minimize a penalized RSS criterion. If we replace with any strictly decreasing function of the loglikelihood such as RSS, all of the results in this article hold without modification.
2.3 Which Null Hypothesis?
Note that in our formulation of the problem, the type I error is defined in a “modelcentric” fashion: at step in linear regression, we are testing whether a particular linear model adequately describes the data . Even if the next selected variable has a zero coefficient in the full model, it is not a mistake to reject provided there are some signal variables that have not yet been included.
Depending on the scientific context, we might want to define a type I error at step differently, by choosing a different null hypothesis to test. Let and let denote the leastsquares coefficients of active set — the coefficients of the best linear predictor for the design matrix :
where is the MoorePenrose pseudoinverse of the matrix .
gsell2013sequential describe three different null hypotheses that we could consider testing at step in the case of linear regression:
 Complete Null:

is (already) correct. That is,
 Incremental Null:

may be incorrect, but is no improvement. That is,
 FullModel Null:

The coefficient of is zero in the “full” model with all predictors. That is,
While the complete null is the strongest null hypothesis of the three, the incremental null is neither weaker nor stronger than the fullmodel null. Defining
we can define an analogous FWER and FDR with respect to each of these alternative choices, and attempt to control these error rates. For example, we could define
as the false discovery rate with respect to the fullmodel null. barber2014controlling present a framework for controlling .
The fullmodel null is the most different conceptually from the other two, taking a “variablecentric” instead of “modelcentric” viewpoint, with the focus on discovering variables that have nonzero coefficients after adjusting for all other variables under consideration. To elucidate this distinction, consider a bivariate regression example in which the two predictors and are both highly correlated with , but are also nearly collinear with each other, making it impossible to distinguish which variable has the “true” effect. Any procedure that controls could not select either variable, and would return the empty set of predictors. By contrast, most of the methods presented in this article would select the first variable to enter (rejecting the global null model), and then stop at the univariate model.
Similarly, consider a genomics model with quantitative phenotype and predictors , representing minor allele counts for each of singlenucleotide polymorphisms (SNPs). If correlation between neighboring SNPs (neighboring ’s) is high, it may be very difficult to identify SNPs that are highly correlated with , adjusting for all other SNPs; however, we might nevertheless be glad to select a model with a single SNP from each important gene, even if we cannot guarantee it is truly the “best” SNP from that gene.
As the above examples illustrate, methods that control fullmodel error rates are best viewed not as modelselection procedures — since all inferences are made with respect to the full model — but instead as variableselection procedures that test multiple hypotheses with respect to a single model, which is specified ahead of time. The “model” returned by such procedures is not selected or validated in any meaningful sense. Indeed, in the bivariate example above, of the four models under consideration (, , , and ), only the global null model is clearly inconsistent with the data; and yet, a fullmodel procedure is bound not to return any predictors.
Because the truth or falsehood of fullmodel hypotheses can depend sensitively on the set of predictors, rejecting has no meaning without reference to the list of all variables that we controlled for. As a result, rejections may be difficult to interpret when is large. Thus, error rates like are best motivated when the full model has some special scientific status. For example, the scientist may believe, due to theoretical considerations, that the linear model in is fairly credible, and that a nonzero coefficient , controlling for all of the other variables, would constitute evidence for a causal effect of on the response.
In this article we will concern ourselves primarily with testing the complete null, reflecting our stated aim of choosing the least complex model that is consistent with the data. As we discuss further in Section 5, the saturatedmodel tests of tibshirani2014exact are valid selective tests of . The advantage of these tests is that they are highly computationally efficient (they do not require sampling). But, unfortunately, they also carry a number of drawbacks: they require us to assume is known, can result in a large reduction in power, create dependence between values at different steps, and are difficult to generalize beyond the case of linear regression.
2.4 Related Work
The problem of model selection is an old one, with quite an extensive literature. However, with the exception of the works above, very few methods offer finitesample guarantees on the model that is selected except in the orthogonaldesign case. One exception is the knockoff filter of barber2014controlling, a variant of which provably controls the fullmodel FDR. We compare our proposal to the knockoff method in Section 7.
Methods like AIC (akaike1974new) and BIC (schwarz1978estimating) are designed for the nonadaptive case, where the sequence of models is determined in advance of observing the data. Crossvalidation, another generalpurpose algorithm for tuning parameter selection, targets outofsample error and tends to select many noise variables when the signal is sparse (e.g. LY2015). benjamini2009simple extend the AIC by using an adaptive penalty to select a model, based on generalizing the BenjaminiHochberg procedure (benjamini1995controlling), but do not prove finitesample control. The stability selection approach of meinshausen2010stability uses an approach based on splitting the data many times and offers asymptotic control of the FDR, but no finitesample guarantees are available.
If the full model is sparse, and the predictors are not too highly correlated, it may be possible asymptotically to recover the support of the fullmodel coefficients with high probability — the property of sparsistency. Much recent modelselection literature focuses on characterizing the regime in which sparsistency is possible; see, e.g. bickel2009simultaneous, meinshausen2006high, negahban2009unified, van2009conditions, wainwright2009sharp, zhao2006model. Under this regime, there is no need to distinguish between the “modelcentric” and “variablecentric” viewpoints. However, the required conditions for sparsistency can be difficult to verify, and in many applied settings they fail to hold. By contrast, the methods presented here require no assumptions about sparsity or about the design matrix , and offer finitesample guarantees.
3 Stopping Rules and Ordered Testing
An ordered hypothesis testing procedure takes in a sequence of values for null hypotheses , and outputs a decision to reject the initial block and accept the remaining hypotheses. Note that in our setup the hypotheses are nested, with ; as a result, all of the false hypotheses precede all of the true ones.
We first review several proposals for orderedtesting procedures, several of which require independence of the null values conditional on the nonnull ones. These procedures also assume the sequence of hypotheses is fixed, whereas in our setting the truth or falsehood of is random, depending on which model is selected at step . In Section 3.2 we show that the error guarantees for these stopping rules do transfer to the randomhypothesis setting, provided we have the same independence property conditional on the completion index (recall ).
3.1 Proposals for Ordered Testing of Fixed Hypotheses
We now review several proposals for ordered hypotheses testing along with their error guarantees in the traditional setting, where the sequence of null hypotheses is fixed. In the next section we will extend the analysis to random null hypotheses.
The simplest procedure is to keep rejecting until the first time that :
We will call this procedure BasicStop. It is discussed in marcus1976. Since is the index of the first null hypothesis, we have
(7) 
To control the FDR, gsell2013sequential propose the ForwardStop rule:
If is uniform, then is an random variable with expectation 1; thus, the sum can be seen as an estimate of the false discovery proportion (FDP):
and we choose the largest model with . gsell2013sequential show that ForwardStop controls the FDR if the null values are independent of each other and of the nonnulls.
li2015accumulation generalize ForwardStop, introducing the family of accumulation tests, which replace with a generic accumulation function satisfying . li2015accumulation show that accumulation tests control a modified FDR criterion provided that the null values are , and are independent of each other and of the nonnulls.
3.2 Ordered Testing of Random Hypotheses
In our problem setting, the sequence of selected models is random; thus, the truth or falsehood of each is not fixed, as assumed in the previous section. Trivially, we can recover the guarantees from the fixed setting if we construct our values conditional on the entire path ; however, this option is rather unappealing for both computational and statistical reasons. In this section we discuss what sort of conditional control the singlestep values must satisfy to recover each of the guarantees in Section 3.1.
We note that conditioning on the current null model does guarantee that is uniform conditional on the event , the event that the th null is true. Unfortunately, however, it does not guarantee that the stopping rules of Section 3.1 actually control FDR or FWER. Let denote the upper quantile of the distribution, and consider the following counterexample.
Consider linear regression with , known and identity design , and suppose that we construct the model path as follows: if , we add to the active set first, then , then . Otherwise, we add , then , then . At each step we construct selective max values and finally choose using BasicStop.
If , then the FWER for this procedure tends to as .
Proposition 1.
A proof of Proposition 3.2 is given in the appendix. The problem is that is no longer a fixed index. Consequently, even though for each fixed , the value corresponding to the first true null hypothesis is stochastically smaller than uniform. In this counterexample, , giving conditional on the event and leaving no room for error when .
If, however, we could guarantee that for each ,
then BasicStop again would control FWER, by (7). Note that is unknown, so we cannot directly condition on its value when constructing values. However, because
it is enough to condition on . As we will see in Section 4, conditioning on is equivalent to conditioning on in most cases of interest including forward stepwise likelihood paths and everactive regularization paths (but not the path in Proposition 3.2).
Similarly, the error control guarantees of gsell2013sequential and li2015accumulation do not directly apply to case where the null hypotheses are random. However, we recover these guarantees if we have conditional independence and uniformity of null values given : that is, if for all and , we have
(8) 
For the sake of brevity, we will say that value sequences satisfying (8) are independent on nulls.
The following proposition shows that independence on nulls allows us to transfer the errorcontrol guarantees of ForwardStop and accumulation tests to the randomhypothesis case.
Proposition 2.
Let be a stopping rule operating on values for nested hypotheses . For some function , let
Suppose that controls at level if are fixed and the null values are uniform and independent of each other and the nonnulls. Then, controls at level whenever satisfy (8).
Proof.
For nested hypotheses, completely determines the truth or falsehood of for every . If controls in the fixedhypothesis case, it must in particular control conditional on any fixed values of , since we could set
for any sequence , where is a point mass at .
4 Conditions for Independent values
We now develop sufficient conditions for constructing values with the independent on nulls property (8). To begin, we motivate the general theory by discussing a specific case, the max test for forward stepwise regression.
4.1 Independence of max values
Recall that at step , the max test rejects for large , comparing its distribution to the conditional law
(9) 
This conditional distribution is the same for all , because is the complete sufficient statistic for .
If , then is uniform and independent of the previous values since:

is uniform conditional on and by construction, and

are functions of and , as we will see shortly.
Informally, the pair forms a “wall of separation” between and , guaranteeing that whenever is true.
Next we will see why are functions of . Observe that knowing tells us that the variables in are selected first, and knowing is enough information to compute the statistics for all and . As a result, we can reconstruct the order in which those variables were added. In other words, is a function of for all .
Furthermore, for , is computed by comparing , which is a function of , to the reference null distribution , which is a function of . Having verified that under , is uniform and independent of , we can apply this conclusion iteratively to see that all remaining values are also uniform and independent.
4.2 General Case
We now present sufficient conditions for independence on nulls generalizing the above ideas, culminating in Theorem 4 at the end of this section.
Define the sufficient filtration for the path as the filtration with
where denotes the algebra generated by random variable . By our assumption of minimal sufficiency, for .
For most path algorithms of interest, including forward stepwise and regularized likelihood paths, observing is equivalent to observing , because knowing is enough to reconstruct the subpath . We say that satisfies the subpath sufficiency principle (henceforth SSP) if
(10) 
A valid selective value for testing satisfies, for any ,
We say that a filtration separates the values if

is superuniform given on the event , and

and are measurable with respect to .
If we think of as representing information available at step , then the first condition means that “excludes” whatever evidence may have accrued against the null by step , and the second means that any information revealed after step is likewise irrelevant to determining . Separated values are independent on nulls, as we see next.
Proposition 3 (Independence of Separated Values).
Let be selective values for , separated by .
If the values are exact then are independent and uniform given on the event . If they are superuniform, then for all ,
(11) 
Proof.
Noting that is measurable, it is enough to show that
(12) 
We now prove (12) by induction. Define . The base case is
which is true by construction of . For the inductive case, note that
Lastly, if the are exact then the inequalities above become equalities, implying uniformity and mutual independence. ∎
The sufficient filtration separates if and only if (1) is superuniform given and , and (2) is a function of and .
To be a valid selective value for a single step, only needs to be superuniform conditional on . It may appear more stringent to additionally require that must condition on the entire subpath as well as , but in practice there is often no difference: if satisfies the SSP and each is a complete sufficient statistic, then every exact selective value is also uniform conditional on .
The requirement that must be measurable has more bite. For example, we will see in Section 5 that it excludes saturatedmodel tests in linear regression.
Collecting together the threads of this section, we arrive at our main result: a sufficient condition for to be independent on nulls.
Theorem 4 (Sufficient Condition for Independence on Nulls).
Assume that is a complete sufficient statistic for each candidate model , that each is an exact selective value for , and that the path algorithm satisfies the SSP.
If is measurable for each , then the value sequence is independent on nulls.
Proof.
We apply the definition of completeness to the function
If is exact given , then
for every . Therefore, we must have , so is independent of . Because satisfies the SSP, is also independent of .
If is also measurable, then the sufficient filtration separates , implying that the sequence is independent on nulls. ∎
Remark
If our path algorithm does not satisfy the SSP, we can repair the situation by constructing values that are uniform conditional on .
4.3 Independence for Greedy Likelihood and NextEntry values
In this section, we apply Theorem 4 to establish that in the generic sparse parametric model of Section 2.2, the forward stepwise path and all everactive regularization paths satisfy the SSP. Moreover, the greedy likelihood ratio statistic and the nextentry statistic are measurable with respect to the sufficient filtrations of the forward stepwise and everactive regularization paths, respectively. As a result, the value sequences in each setting are independent on nulls, per Theorem 4.
We begin by proving both paths satisfy the SSP:
Proposition 5.
Forward stepwise paths and everactive regularization paths both satisfy the subpath sufficiency principle.
Proof.
First define the restricted loglikelihood
For some fixed step and active set , denote the event . Conditioning on , the restricted likelihood is proportional to a function depending only on . The loglikelihood decomposes as
The second term, the loglikelihood of given , does not depend on because is sufficient.
Recall the forward stepwise path is defined by
(13) 
On , we have for all , meaning that the maximum in (13) is attained by some at every step. So, for , we have
The above shows that all depend on only through , which equals on . As a result, it also follows that the entire sequence depends only on .
As for everactive regularization paths, if we denote
then
But depends only on . Therefore, on , we can reconstruct the entire path of solutions for , once we know . ∎
As a direct consequence of Proposition 5, greedy likelihood values for the forwardstepwise path, and nextentry values for everactive regularization paths, are independent on nulls.
Corollary 6.
If is complete and sufficient for model , then the selective greedy likelihood values computed for the forward stepwise path are independent on nulls.
Proof.
Per Theorem 4, it is enough to show that is measurable with respect to the sufficient filtration for the forward stepwise path. First, the test statistic is measurable because
Second, the null distribution against which we compare is also measurable because it depends only on , both of which are measurable. ∎
Corollary 7.
If is complete and sufficient for model , then the selective nextentry values computed for any everactive regularized likelihood path are independent on nulls.
Proof.
Per Theorem 4, it is enough to show that is measurable with respect to the sufficient filtration for the regularizedlikelihood path. Recall that
and that the are nested by construction and finite by assumption. As a result, there is some for which .
Furthermore, for all , we have . As a result, for such , so depends only on , and therefore can be computed from . Second, the null distribution against which we compare is also measurable because it depends only on , both of which are measurable. ∎
As we have shown, the selective max test is equivalent to the selective greedy likelihood test in the case of linear regression. In the next section, we will compare and contrast the max and nextentry, and other selectedmodel tests, with the saturatedmodel tests proposed by tibshirani2014exact and others.
5 Selective Values in Regression
In linear regression, fithian2014optimal draw a distinction between two main types of selective test that we might perform at step : tests in the selected model, and tests in the saturated model. For simplicity, we will assume throughout this section that our path algorithm adds exactly one variable at each step. We also assume the path algorithm satisfies the SSP, so that we need not worry about the distinction between conditioning on