---
title: Heteroscedasticity-Adjusted Ranking (HART)
url: https://www.emergentmind.com/topics/hart
type: topic
---

# Heteroscedasticity-Adjusted Ranking (HART)

HART, short for **Heterocedasticity-Adjusted Ranking and Thresholding**, is a two-step multiple testing framework for large-scale heterogeneous data that bypasses standardization and uses both a summary statistic and its unit-specific variance for ranking and thresholding. Its central claim is that standardization to $z$-scores or $p$-values can discard information carried by the variance structure of the alternative distribution, especially under heteroscedasticity. The methodology, theory, and empirical studies were developed by Fu, Gang, James, and Sun in “Heterocedasticity-Adjusted Ranking and Thresholding for Large-Scale Multiple Testing” [1910.08107].

## 1. Conceptual basis and statistical setting

HART is designed for settings in which, for $i=1,\dots,m$, one observes a summary statistic $X_i$ and a variance or standard deviation $s_i^2$ or $s_i$, with heteroscedasticity across units. The inferential task is
$$
H_{0,i}:\mu_i=0 \qquad \text{versus} \qquad H_{1,i}:\mu_i\neq 0,
$$
with signal indicator $\theta_i=1(\mu_i\neq 0)$ following a $\mathrm{Bernoulli}(\pi)$ model [1910.08107].

The canonical probabilistic model is Gaussian with heteroscedastic errors:
$$
X_i \mid \mu_i,\sigma_i^2 \overset{ind}{\sim} N(\mu_i,\sigma_i^2),\qquad
\mu_i \overset{iid}{\sim} (1-\pi)\delta_0+\pi g_\mu,\qquad
\sigma_i^2 \overset{iid}{\sim} g_\sigma,
$$
where $\delta_0$ is a point mass at $0$. In much of the analysis, $\sigma_i$ are treated as known or consistently estimated [1910.08107].

Conditioning on $\sigma_i$, the marginal mixture for $X_i$ is
$$
f_{\sigma_i}(x)=(1-\pi)f_{0,\sigma_i}(x)+\pi f_{1,\sigma_i}(x),
$$
with
$$
f_{0,\sigma}(x)=\sigma^{-1}\phi(x/\sigma),\qquad
f_{1,\sigma}(x)=\sigma^{-1}\int \phi\!\left(\frac{x-\mu}{\sigma}\right)g_\mu(\mu)\,d\mu.
$$

The motivating observation is that standardization to $z_i=X_i/\sigma_i$ maps all nulls to $N(0,1)$, but also transforms the alternative to
$$
z_i \mid H_{1,i},\sigma_i \sim N(\mu_i/\sigma_i,1).
$$
This subsumes the variance structure of the alternative. Consequently, for the same $z$-value, small-$\sigma$ units are more consistent with the alternative than large-$\sigma$ units. HART exploits this by conditioning on $\sigma_i$ in both ranking and thresholding [1910.08107].

## 2. Oracle ranking and thresholding rule

The core HART ranking statistic is the local false discovery rate conditional on $\sigma_i$:
$$
T_i \equiv T(X_i,\sigma_i)=\Pr(\theta_i=0\mid X_i,\sigma_i)
=\frac{(1-\pi)f_{0,\sigma_i}(X_i)}{f_{\sigma_i}(X_i)}.
$$
This is a Bayesian likelihood-ratio-based score; smaller $T_i$ indicates stronger evidence against the null [1910.08107].

Let $Q(t)$ denote the marginal false discovery rate level, $\mathrm{mFDR}$, of the rule that rejects all $i$ with $T_i<t$. The oracle HART rule is
$$
\boldsymbol{\delta}^{\mathrm{full}}
=
\{\mathbb{I}(T_i<t^*):1\le i\le m\},
\qquad
t^*=\sup\{t\in(0,1):Q(t)\le \alpha\}.
$$
This ranking-plus-threshold construction uses both $X_i$ and $\sigma_i$ explicitly and is optimal within the class of rules based on $\{(X_i,\sigma_i)\}$ [1910.08107].

The contrast with standardized procedures is explicit. For standardized values $Z_i=X_i/\sigma_i$, the classical local false discovery rate is
$$
\mathrm{Lfdr}_i=\Pr(\theta_i=0\mid Z_i)
=
\frac{(1-\pi)f_0(Z_i)}{f(Z_i)},
$$
and the oracle $z$-value rule is $\delta_i^z=\mathbb{I}\{\mathrm{Lfdr}_i<c^*\}$. The oracle $p$-value rule is $\delta_i^p=\mathbb{I}\{P_i<c^*\}$. These procedures do not condition on $\sigma_i$ and therefore discard heteroscedastic information [1910.08107].

A key structural special case is the homoscedastic regime $\sigma_i\equiv \sigma$. Then $T_i$ is a monotone transform of $z_i$, and HART reduces to the standard local false discovery rate procedure [1910.08107].

## 3. Error control, power, and asymptotic theory

HART is developed for false discovery rate control while maximizing expected true positives. The paper defines
$$
\mathrm{FDR}=\mathbb{E}\left[\frac{V}{R\vee 1}\right],
\qquad
\mathrm{mFDR}=\frac{\mathbb{E}(V)}{\mathbb{E}(R)},
$$
where
$$
V=\sum_i (1-\theta_i)\delta_i,\qquad
R=\sum_i \delta_i.
$$
Power is measured by
$$
\mathrm{ETP}=\mathbb{E}\left(\sum_i \theta_i\delta_i\right).
$$

The oracle optimality result states that if $\mathcal{D}_\alpha$ is the collection of all procedures based on $\{(X_i,\sigma_i)\}$ with $\mathrm{mFDR}\le \alpha$, then
$$
\mathrm{ETP}_{\boldsymbol{\delta}}
\le
\mathrm{ETP}_{\boldsymbol{\delta}^{\mathrm{full}}}
\qquad
\text{for all } \boldsymbol{\delta}\in\mathcal{D}_\alpha.
$$
In particular,
$$
\mathrm{ETP}_{\boldsymbol{\delta}^p}
\le
\mathrm{ETP}_{\boldsymbol{\delta}^z}
\le
\mathrm{ETP}_{\boldsymbol{\delta}^{\mathrm{full}}}.
$$
The intuition given in the paper is that, conditional on $\sigma_i$, thresholding $T_i$ is a monotone likelihood ratio decision under the mixture model, so its rejection region maximizes alternative mass at fixed expected false discoveries [1910.08107].

For the data-driven procedure, HART estimates both $T_i$ and $t^*$. Its asymptotic analysis assumes four conditions. First, bounded supports:
$$
\mathrm{supp}(g_\sigma)\subset(M_1,M_2),\quad 0<M_1<M_2<\infty,\qquad
\mathrm{supp}(g_\mu)\subset(-M,M),\quad M<\infty.
$$
Second, regularity of the kernel $K$: positive, bounded, symmetric, with
$$
\int K=1,\qquad \int tK(t)\,dt=0,\qquad \int t^2K(t)\,dt<\infty,
$$
and $f_\sigma(t)$ having bounded, continuous second derivative and being square-integrable. Third, bandwidth conditions:
$$
h_x=o\{(\log m)^{-1}\},\qquad
m h_x h_\sigma^2\to\infty,\qquad
m^{1-\delta}h_\sigma h_x^2\to\infty,
$$
$$
m^{-\delta/2}h_\sigma^2 h_x^{-1}\to 0
\qquad\text{for some }\delta>0.
$$
Fourth,
$$
\hat\pi \overset{p}\to \pi.
$$

Under these conditions, the consistency proposition states
$$
\mathbb{E}\int \{\hat f_\sigma(x)-f_\sigma(x)\}^2\,dx \to 0,
\qquad
\hat T_i \overset{p}\to T_i \quad \text{uniformly in } i.
$$
The asymptotic validity and optimality theorem further gives
$$
\hat t^* \overset{p}\to t^*,\qquad
\mathrm{mFDR}(\boldsymbol{\delta}^{\mathrm{dd}})=\alpha+o(1),\qquad
\mathrm{FDR}(\boldsymbol{\delta}^{\mathrm{dd}})=\alpha+o(1),
$$
and
$$
\frac{\mathrm{ETP}(\boldsymbol{\delta}^{\mathrm{dd}})}
{\mathrm{ETP}(\boldsymbol{\delta}^{\mathrm{full}})}
=
1+o(1),
$$
where $\boldsymbol{\delta}^{\mathrm{dd}}$ denotes the data-driven HART rule [1910.08107].

## 4. Estimation strategy and computational construction

HART estimates the conditional mixture density through a stabilized decomposition,
$$
\hat f_{\sigma_i}(x_i)
=
(1-\hat\pi)f_{0,\sigma_i}(x_i)+\hat\pi\,\hat f_{1,\sigma_i}(x_i),
$$
where $\hat f_{1,\sigma}(x)$ is a weighted bivariate kernel estimator with variable bandwidth in $x$ to account for heteroscedasticity:
$$
\hat f_{1,\sigma_i}(x_i)
=
\sum_{j=1}^m
\frac{\hat w_j\,\phi_{h_\sigma}(\sigma_i-\sigma_j)}
{\sum_{k=1}^m \hat w_k\,\phi_{h_\sigma}(\sigma_i-\sigma_k)}
\,\phi_{h_x\sigma_j}(x_i-x_j).
$$
The weights $\hat w_j$ approximate $P(\theta_j=1\mid x_j,\sigma_j)$ and are refined in two steps [1910.08107].

The initialization uses
$$
\hat w_j^{(0)}=1-\hat T_j^{(0)},
\qquad
\hat T_j^{(0)}
=
\min\left\{
\frac{(1-\hat\pi)f_{0,\sigma_j}(x_j)}{\hat f_{\sigma_j}^*(x_j)},
\,1
\right\},
$$
with
$$
\hat f_\sigma^*(x)
=
\sum_{j=1}^m
\frac{\phi_{h_\sigma}(\sigma-\sigma_j)}
{\sum_{k=1}^m \phi_{h_\sigma}(\sigma-\sigma_k)}
\,\phi_{h_x\sigma_j}(x-x_j).
$$
The updated weights are
$$
\hat w_j^{(1)}=1-\hat T_j^{(1)},
\qquad
\hat T_j^{(1)}
=
\frac{(1-\hat\pi)f_{0,\sigma_j}(x_j)}
{(1-\hat\pi)f_{0,\sigma_j}(x_j)+\hat\pi\,\hat f_{1,\sigma_j}^{(0)}(x_j)}.
$$
The final score is
$$
\hat T_i
=
\frac{(1-\hat\pi)f_{0,\sigma_i}(x_i)}
{(1-\hat\pi)f_{0,\sigma_i}(x_i)+\hat\pi\,\hat f_{1,\sigma_i}^{(1)}(x_i)}.
$$

Thresholding is empirical. After sorting
$$
\hat T_{(1)}\le \cdots \le \hat T_{(m)},
$$
HART selects
$$
k=\max\left\{
j:
\frac{1}{j}\sum_{i=1}^j \hat T_{(i)}\le \alpha
\right\},
\qquad
\hat t^*=\hat T_{(k)},
$$
and rejects $H_{(1)},\dots,H_{(k)}$ [1910.08107].

The naive computational cost of evaluating $\hat f_{1,\sigma_i}(x_i)$ for all $i$ is $O(m^2)$. The paper notes that fast kernel summation, including KD-trees, FFT-based approximations, sparsity via compact kernels, batching, or GPUs, can reduce wall time. A jackknife variant, implemented by leaving one point out in the density estimate, is described as stabilizing estimates with negligible asymptotic cost [1910.08107].

The base model assumes $\mu_i$ independent of $\sigma_i$, but the paper also gives a structured extension for dependence:
$$
\mu_i\mid \sigma_i
\sim
(1-\pi_{\sigma_i})\delta_0+\pi_{\sigma_i}g_\mu(\cdot\mid \sigma_i),
$$
with
$$
T_i=
\frac{(1-\pi_{\sigma_i})f_{0,\sigma_i}(x_i)}{f_{\sigma_i}(x_i)}.
$$
Misspecifying this dependence may reduce power, while the basic HART machinery still yields valid ranking under mild conditions [1910.08107].

## 5. Empirical behavior and applications

The paper’s finite-mixture illustration uses $\pi=0.1$, $\mu_a=2$, $\sigma_i\sim U[0.5,4]$, and $\alpha=0.1$. The average power of three oracle procedures is reported as
$$
\mathrm{AP}(\delta^p)=5.0\%,\qquad
\mathrm{AP}(\delta^z)=7.2\%,\qquad
\mathrm{AP}(\delta^{\mathrm{full}})=10.5\%.
$$
The full-data oracle therefore more than doubles the average power relative to the $p$-value oracle [1910.08107].

In continuous-heteroscedastic simulations,
$$
X_i\mid \sigma_i \sim (1-\pi)N(0,\sigma_i^2)+\pi N(2,\sigma_i^2),
\qquad
\sigma_i\sim U[0,\sigma_{\max}],
$$
with $m=20{,}000$ and $\alpha=0.1$, all methods controlled FDR at nominal levels, while data-driven HART was slightly conservative at times. The reported power pattern is that data-driven HART uniformly exceeded BH and the $z$-oracle proxy, often closing much of the gap to the full-data oracle; gains increased with stronger heterogeneity and sparser signals, with relative power improvements frequently in the 20–60% range versus BH and ZOR at matched FDR [1910.08107].

In the two-group heteroscedastic setting, with $\sigma_i\in\{\sigma_a,\sigma_b\}$ equiprobable, $\mu=2.5$, $\pi=0.1$, $\sigma_a=1$, and $\sigma_b\in[1.5,3]$, the data-driven procedure approximately matched the oracle in both FDR and power. HART applied differing $z$-cutoffs per group, increasing the cutoff for the large-variance group, and the power gap relative to ZOR grew with $\sigma_b$ [1910.08107].

The principal empirical case study is a microarray analysis of myeloma. The dataset contained 12,625 genes; 36 myeloma patients had MRI-detected focal lesions and 137 had no lesions. Gene-wise contrasts $X_i$ and standard errors $S_i$ were computed. Because the theoretical $N(0,1)$ null was too narrow, BH and AZ used the empirical null $N(0,1.3^2)$. For stable HART density estimation, genes with $S_i<1$ were analyzed, leaving 12,172 genes. At $\alpha=0.1$, BH discovered 8 genes (0.07%), AZ 25 (0.2%), and HART 122 (1%). The rejection boundaries for BH and AZ depended only on $z$, whereas HART’s decisions varied with both $z$ and $S$, favoring small-$S$ genes and avoiding large-$S$ genes [1910.08107].

## 6. Relation to other procedures, practical regime, and limitations

HART is explicitly positioned against several established multiple-testing procedures. BH on standardized $p$-values or $z$-scores ignores structure in the alternative and often uses symmetric two-sided rejection. Weighted BH, IHW, and AdaPT use covariates to pre-order or weight $p$-values, but naïvely ordering by $\sigma_i$ can be anti-informative because correctness depends on the relationship between $\sigma_i$ and signal prevalence or strength. HART instead performs a semiparametric empirical Bayes integration of $\sigma_i$ through conditional density modeling [1910.08107].

In the special case where $\sigma_i$ takes one of a few discrete values, HART reduces to conditional local false discovery rate analyzed separately per group, with group-specific thresholds. Relative to classical local false discovery rate procedures that estimate $f(z)$, HART estimates $f_\sigma(x)$ and $f_{1,\sigma}(x)$ conditionally, restoring the alternative variance structure lost after standardization [1910.08107].

The paper identifies the regime in which HART is most beneficial: clear heteroscedasticity, effect sizes whose discriminability depends on $\sigma$, and large $m$, typically in the thousands or more, so that conditional density estimation is accurate. The recommended diagnostics are a histogram of $\sigma_i$, a scatter of $z$ versus $\sigma$, empirical $\hat T_i$ plotted against $z$ by $\sigma$ strata, and direct comparison of HART and $z$-based rejection boundaries. For tuning, the paper recommends estimating $\hat\pi$ by methods robust to alternatives such as Jin–Cai, choosing bandwidths by rules of thumb on a subset enriched for signals, and considering jackknifed density estimation. For unknown $\sigma_i$, it recommends consistent variance estimators and, if needed, $t$-approximations for $z$ [1910.08107].

The limitations are equally explicit. HART requires large $m$ for stable bivariate density estimation and is computationally heavier than BH or ZOR, although it may be faster than some covariate-adaptive procedures such as AdaPT in many settings. Its theoretical development assumes independence or weak dependence and known null scale per $\sigma$. The extension of empirical-null modeling under heteroscedasticity is nontrivial when the theoretical null is inadequate. Finally, misspecification of $\sigma$–$\mu$ dependence can reduce power, motivating structured extensions with $\pi_\sigma$ and $g_\mu(\cdot\mid \sigma)$ [1910.08107].

HART’s defining methodological claim is therefore narrow but consequential: when unit-specific variances are themselves informative under the alternative, ranking by
$$
T_i=\Pr(\theta_i=0\mid X_i,\sigma_i)
$$
and thresholding to control FDR can strictly dominate procedures based only on standardized statistics. In the framework developed in [1910.08107], this gain is formalized by oracle optimality, asymptotic validity, and repeated empirical power improvements at fixed FDR.

Source: https://www.emergentmind.com/topics/hart