Projected Empirical Processes

• Projected empirical processes are a statistical method that uses one-dimensional projections to reduce high-dimensional data and facilitate effective regression model testing.
• They construct empirical processes indexed by projected covariates, achieving computational scalability and weak convergence to Gaussian processes under regular conditions.
• Multiple projections and p-value combination methods, such as the Cauchy statistic, enhance test power while mitigating the curse of dimensionality in complex regression settings.

A projected empirical process is a statistical methodology that extends classical empirical process theory to high- or infinite-dimensional covariate spaces by leveraging random or data-driven one-dimensional projections. These techniques construct goodness-of-fit tests for regression models—such as the functional linear model (FLM) or sparse high-dimensional regressions—by analyzing empirical processes indexed by projected covariates. Projected empirical processes address the curse of dimensionality, improve computational scalability, and provide theoretically sound testing procedures even in settings where the dimension of the covariate space competes with or exceeds the sample size.

1. Definition and Construction of Projected Empirical Processes

Let $\{(X_i,Y_i)\}_{i=1}^n$ be independent observations, where $X_i$ lies in a high- or infinite-dimensional space (such as a separable Hilbert space $\mathcal{H}$ or $\mathbb{R}^p$ for large $p$), and $Y_i$ is a scalar response. In the functional linear model,

$Y = \langle X, \rho \rangle + \varepsilon,$

with $X$ in $\mathcal{H}$, a projected empirical process is constructed by first drawing a projection direction $h \in \mathcal{H}$ (often randomly from a Gaussian measure when $X_i$0 is infinite-dimensional), and computing the scalar projections $X_i$1.

The marked empirical process indexed by $X_i$2 is then given by

$X_i$3

where $X_i$4 is a fitted or candidate regression function, and $X_i$5 is typically $X_i$6, ensuring the process is normalized for weak convergence analysis (Cuesta-Albertos et al., 2017).

In ultra-high-dimensional parametric regressions, a similar process is defined for unit $X_i$7 as

$X_i$8

with $X_i$9 for a fitted parameter $\mathcal{H}$0 (Tan et al., 2 Jan 2026).

2. Theoretical Foundations and Weak Convergence

The central theoretical advance is the reduction from high-dimensional covariates to scalar projections, allowing the application of classical empirical process tools. Under regularity assumptions—moment restrictions, estimator consistency, and suitable regularization—the projected empirical processes, under the null hypothesis, converge weakly to Gaussian processes conditionally on the projection direction.

In the FLM with estimation error controlled by Cardot–Mas–Sarda (CMS) regularization, weak convergence holds for $\mathcal{H}$1 in $\mathcal{H}$2 to a mean-zero Gaussian process $\mathcal{H}$3 with explicit covariance structure (Cuesta-Albertos et al., 2017). Similarly, for finite-dimensional sparse regressions (possibly with $\mathcal{H}$4), a martingale transformation can be applied to $\mathcal{H}$5 to remove the impact of non-asymptotic linearity in $\mathcal{H}$6, yielding a process converging in law to standard Brownian motion after proper time change (Tan et al., 2 Jan 2026).

Almost sure equivalence theorems ensure that testing the projected process for a randomly drawn $\mathcal{H}$7 is almost surely equivalent to testing the full functional covariate (Cuesta-Albertos et al., 2017):

Statement	Reference	Details
$\mathcal{H}$8 iff $\mathcal{H}$9 for all $\mathbb{R}^p$0	(Cuesta-Albertos et al., 2017)	"No randomness" proposition
$\mathbb{R}^p$1 iff $\mathbb{R}^p$2 for $\mathbb{R}^p$3 drawn from a nondegenerate Gaussian measure (almost surely)	(Cuesta-Albertos et al., 2017)	"Random projection" theorem

3. Test Statistics, Martingale Transform, and Distribution-Free Inference

Classical continuous functionals such as Kolmogorov–Smirnov (KS) and Cramér–von Mises (CvM) statistics are employed on the projected processes:

• KS: $\mathbb{R}^p$4
• CvM: $\mathbb{R}^p$5 (Cuesta-Albertos et al., 2017)

In ultra-high-dimensional regression ($\mathbb{R}^p$6), nuisance parameter shifts in $\mathbb{R}^p$7 are eliminated via a martingale transform $\mathbb{R}^p$8 defined in terms of Radon–Nikodym derivatives of conditional expectations and variances. The resulting martingale-transformed process $\mathbb{R}^p$9 is asymptotically distribution-free, and the CvM-type statistic $p$0 converges to $p$1 (where $p$2 is standard Brownian motion), independently of $p$3 and regression parameters (Tan et al., 2 Jan 2026).

These advances enable practical tests with explicit limiting null distributions, circumventing parameter estimation challenges that preclude asymptotic normality or linearization in high dimensions.

4. Multiple Projections and p-Value Combination

Because single projections can lose power against alternatives that are nearly orthogonal to the chosen direction, multiple independent projections are adopted. In functional settings, several $p$4 are drawn (often aligned with leading principal components), with test statistics and bootstrapped $p$5-values computed for each. These are aggregated using procedures controlling false discovery rate (FDR), such as the Benjamini–Hochberg rule (Cuesta-Albertos et al., 2017).

In ultra-high dimensions, $p$6-values $p$7 from $p$8 projections are combined using the Cauchy combination statistic:

$p$9

with null distributions determined asymptotically by the standard Cauchy law, enabling valid inference even under dependence among projections (Tan et al., 2 Jan 2026).

Moreover, to address frequency sensitivity (low-frequency detection by empirical processes, high-frequency detection by local smoothing), hybrid tests are constructed by combining both types of $Y_i$0-values through the same Cauchy mechanism. This joint approach controls Type I error and improves detection across a spectrum of alternatives (Tan et al., 2 Jan 2026).

5. Implementation Strategies and Calibration

Practical implementation requires consistent estimation of projection directions and residuals, as well as calibration of critical values. In functional regression, wild bootstrap procedures—employing Rademacher multipliers to resample residuals—are used to estimate the null distribution of the projected test statistics (Cuesta-Albertos et al., 2017). The steps involve:

1. Fit the FLM under the null with regularization.
2. Compute test statistic from the observed data.
3. Perform bootstrap resampling of residuals, recompute the statistic, and estimate the empirical $Y_i$1-value.
4. For multiple projections, combine $Y_i$2-values using FDR controls.

In ultra-high dimensions, the distribution-free theory eliminates the need for resampling, as the null distribution of $Y_i$3 is universal, calibrated via the law of $Y_i$4 (Tan et al., 2 Jan 2026). This enables computational efficiency and scalability to very large $Y_i$5 and $Y_i$6.

6. Power Properties and Finite-Sample Performance

Simulation studies in FLM settings demonstrate that projected CvM tests consistently achieve high power, outperforming KS-based approaches and maintaining Type I error for modest numbers of projections ($Y_i$7 to $Y_i$8). Increasing $Y_i$9 further leads to over-conservative behavior due to discrete $Y = \langle X, \rho \rangle + \varepsilon,$0-values under FDR correction, with $Y = \langle X, \rho \rangle + \varepsilon,$1 offering a robust compromise (Cuesta-Albertos et al., 2017). Compared to previously proposed tests averaging over fixed, non-random projections, randomly projected procedures offer a significant reduction in computational complexity (O($Y = \langle X, \rho \rangle + \varepsilon,$2) vs. O($Y = \langle X, \rho \rangle + \varepsilon,$3)), with only a modest sacrifice in power on small samples.

In high-dimensional regression, the martingale-transformed, projected empirical process tests maintain correct size and detect a wide class of alternatives provided that at least one projection is sensitive to the signal. The hybridization with local-smoothing statistics broadens power across oscillatory alternatives (Tan et al., 2 Jan 2026).

7. Broader Impact, Limitations, and Comparative Perspective

Projected empirical processes constitute a robust and scalable paradigm for hypothesis testing in both functional data analysis and high-dimensional statistics. They mitigate the curse of dimensionality by dimension reduction through projections, leverage theoretical properties such as almost sure equivalence of projected and full-covariate nulls, and facilitate computationally efficient inference.

However, some limitations remain. Power loss can occur for alternatives nearly orthogonal to all chosen projections, motivating aggregation across multiple projections. For FDR-type combination rules in the functional setting, large $Y = \langle X, \rho \rangle + \varepsilon,$4 leads to over-conservative performance due to the discrete distribution of bootstrap-based $Y = \langle X, \rho \rangle + \varepsilon,$5-values (Cuesta-Albertos et al., 2017). In the high-dimensional context, the need for sufficiently accurate rate-bounded estimators (rather than asymptotic normality) is a requirement, though it is notably weaker than classical assumptions (Tan et al., 2 Jan 2026).

The theoretical and empirical advances summarized here delineate a comprehensive and flexible framework for goodness-of-fit testing in modern regression settings, with implications for a wide range of applications in statistics, econometrics, and machine learning.