Model-X knockoffs need one thing: the joint distribution of (X, X̃) is invariant under swapping any subset of the (Xⱼ, X̃ⱼ) pairs, while X̃ is constructed without ever looking at y. For a Gaussian design with covariance Σ, equicorrelated knockoffs draw X̃ = X(I − Σ⁻¹diag(s)) + Z̃Cᵀ, where diag(s) = sI for a scalar s ≤ 2λmin(Σ) and CCᵀ = 2diag(s) − diag(s)Σ⁻¹diag(s). This construction guarantees Cov(Xⱼ, Xₖ) = Cov(X̃ⱼ, X̃ₖ) for all j,k, and Cov(Xⱼ, X̃ₖ) = Cov(Xⱼ, Xₖ) off the diagonal.
For each feature, the statistic Wⱼ compares evidence for the original against evidence for its knockoff — here, the lasso regularization value at which each first enters the model. A large positive Wⱼ means the real feature beat its decoy; under the null, Wⱼ is equally likely to be positive or negative by exchangeability, which is exactly the coin-flip structure the threshold exploits.
The knockoff+ threshold T controls E[FDP] ≤ q exactly by counting one extra false discovery in the numerator; the plain knockoff threshold controls a slightly looser modified FDR. Neither guarantee has anything to do with how features are ranked — a top-k or uncorrected-p-value rule has no decoy to compare against and so has no such control.
X̃ = X(I − Σ⁻¹diag(s)) + Z̃Cᵀ, CCᵀ = 2diag(s) − diag(s)Σ⁻¹diag(s)
Wⱼ = sign(Zⱼ − Z̃ⱼ)·max(Zⱼ, Z̃ⱼ), Zⱼ = entry-λ of feature j
T = min{ t : (1 + #{j : Wⱼ ≤ −t}) / max(#{j : Wⱼ ≥ t}, 1) ≤ q } (knockoff+)Select { j : Wⱼ ≥ T } ⟹ E[FDP] ≤ q