h* Statistic: Definition and Applications

• The h* statistic is a field-specific notation representing distinct measures in outlier analysis, private U-statistics, and Coxeter combinatorics.
• In outlier analysis, h* quantifies an observation’s extremeness by comparing its squared deviation from a candidate outlier to the average pairwise distances among inliers.
• The methodology supports simulation-based calibration and robust inference, offering parallels with local Hájek projections and combinatorial generating functions.

Searching arXiv for papers on “h* statistic”, Hajek projection/U-statistics, and Coxeter-group h* usage to support a precise, up-to-date article. The notation $h^*$ is used in several technically distinct ways across the arXiv literature. In recent statistics, it denotes a parametric, frequentist test statistic for evaluating global outliers without a normality assumption (Hoorn et al., 9 Aug 2025). In the literature on differentially private U-statistics, the empirical local Hájek projection $\hat h(i)$ is sometimes denoted $h^*$, although that paper explicitly uses the term “local Hajek projection” (Chaudhuri et al., 2024). In algebraic combinatorics, $h^*$ appears as a statistic on symmetric groups whose type-$B$ analogue is the statistic $L$ on hyperoctahedral groups (Stasinski et al., 2013). This suggests that $h^*$ is not a single universal object, but a notation whose meaning is field-specific.

1. Distinct uses of the notation $h^*$

Three usages are explicitly represented in the cited literature.

Context	Meaning of $h^*$	Source
Outlier analysis	A test statistic comparing outlier-to-group distance with inlier pairwise spread	(Hoorn et al., 9 Aug 2025)
Private U-statistics	A notation sometimes used for the local Hájek projection $\hat h(i)$	(Chaudhuri et al., 2024)
Coxeter combinatorics	A statistic on symmetric groups generalized to type $\hat h(i)$0 by $\hat h(i)$1	(Stasinski et al., 2013)

The most explicit standalone definition of an $\hat h(i)$2 statistic is the outlier-analysis construction of 2025, where $\hat h(i)$3 is designed for one-dimensional homogeneous data and is positioned as analogous to the role of Student’s $\hat h(i)$4 in comparing means (Hoorn et al., 9 Aug 2025). By contrast, in the U-statistics setting the notation is ancillary: the principal object is the local Hájek projection, and the statement that it is “sometimes denoted $\hat h(i)$5 in the literature” is primarily terminological rather than definitional (Chaudhuri et al., 2024). In Coxeter theory, the available paper does not redefine $\hat h(i)$6 directly, but states that the restriction of $\hat h(i)$7 to $\hat h(i)$8 coincides with the “$\hat h(i)$9 statistic” introduced earlier by Klopsch and Voll, so the cited paper is best read as a type-$h^*$0 generalization rather than a primary exposition of $h^*$1 itself (Stasinski et al., 2013).

A common misconception is therefore to treat $h^*$2 as denoting one canonical statistic across fields. The cited material instead supports a contextual reading.

2. $h^*$3 as an outlier statistic

For a set of $h^*$4 real-valued, one-dimensional, homogeneous data points

$h^*$5

let $h^*$6 denote a candidate outlier, typically the maximum or minimum value. The $h^*$7 test statistic is defined by

$h^*$8

Its numerator is the mean squared distance from the candidate outlier to every data point, while its denominator is the mean squared pairwise distance among all other data points, excluding $h^*$9 (Hoorn et al., 9 Aug 2025).

The paper also gives an alternative algebraic form and introduces a scaled form $h^*$0, with the stated range $h^*$1 (Hoorn et al., 9 Aug 2025). Operationally, the calculation proceeds by summing squared distances from the candidate outlier to the rest of the sample, computing the pairwise inlier squared distances among the remaining $h^*$2 points, and taking the ratio of the corresponding root-mean-square quantities (Hoorn et al., 9 Aug 2025).

The interpretation is explicitly geometric. High $h^*$3 means that the candidate outlier is much farther from the rest of the dataset than the typical pairwise spread among inliers; low $h^*$4 means that the candidate “outlier” may not be unusually extreme relative to the group (Hoorn et al., 9 Aug 2025). Both $h^*$5 and $h^*$6 are stated to be invariant under linear transformations such as shifting or scaling all data (Hoorn et al., 9 Aug 2025).

The paper’s worked example uses $h^*$7 with $h^*$8 and $h^*$9. The numerator is based on $B$0, the denominator on $B$1, giving

$B$2

(Hoorn et al., 9 Aug 2025).

3. Statistical inference, null distribution, and interpretation

The outlier-analysis $B$3 statistic is used as a one-tailed test for whether an observed value is exceptionally large or small under a chosen distributional assumption for the ordinary data (Hoorn et al., 9 Aug 2025). The null hypothesis is that the candidate outlier does not differ sufficiently from ordinary data to be considered statistically exceptional (Hoorn et al., 9 Aug 2025).

The cited paper states that the distribution of $B$4, and hence significance thresholds, depends on both $B$5 and the distribution of the inlier data (Hoorn et al., 9 Aug 2025). Exact null distributions are described as nontrivial except in special cases, so $B$6-values are obtained from simulated or sampled empirical distributions for the chosen distribution and sample size, or by Monte Carlo simulation (Hoorn et al., 9 Aug 2025). The stated degrees of freedom are $B$7 (Hoorn et al., 9 Aug 2025).

The appendix provides simulated critical values for normal and log-normal data. One example reported in the paper is that, for $B$8, the 95% threshold is approximately $B$9 under normality and approximately $L$0 for log-normal data (Hoorn et al., 9 Aug 2025). This makes clear that the procedure does not eliminate distributional assumptions altogether; rather, it removes the requirement of normality and replaces it with simulation-based calibration under the selected inlier model.

The paper emphasizes that $L$1 is not a tool for automatic outlier detection or removal. Instead, it provides an objective assessment of an individual point’s extremeness, intended for interpretative and substantive analysis (Hoorn et al., 9 Aug 2025). In that sense, the statistic quantifies a “degree” of outlierness rather than merely producing a binary inlier/outlier classification.

4. Comparison with classical outlier tests and proposed extensions

The paper contrasts $L$2 with Grubbs’ test and Dixon’s $L$3 test. Grubbs’ test is described as based on the $L$4-score of the maximum or minimum versus the mean, assumes normality, considers all data, does not handle clustering, is not robust to distribution, and is framed as discarding outliers as errors. Dixon’s $L$5 is described as a ratio of gap to range, also assuming normality, focusing on nearest neighbors and the extremal gap (Hoorn et al., 9 Aug 2025). By comparison, $L$6 is described as requiring no normality assumption, considering all distances except those involving the removed candidate, handling clustering, being robust to distribution, and quantifying the degree of outlierness (Hoorn et al., 9 Aug 2025).

The practical scope given in the paper is one-dimensional, homogeneous, interval- or ratio-scale data, with caveats for certain rating scales (Hoorn et al., 9 Aug 2025). The method is described as empirical and proximity-based, able to handle heterogeneity, multimodality, and local clustering, and as linearly invariant (Hoorn et al., 9 Aug 2025).

Several extensions are proposed. A Bayesian formulation treats $L$7 as entering a posterior probability of outlierness $L$8, with further marginalization and posterior updating described in Equations 8–13, and with MCMC-based simulation used to obtain posterior probabilities for candidate outliers (Hoorn et al., 9 Aug 2025). A paired-analysis procedure is also described: identify outliers pre-intervention, compute $L$9 pre and post for the same individuals, and use the Wilcoxon signed-rank or paired $h^*$0-test to assess whether $h^*$1 drops significantly among extreme cases (Hoorn et al., 9 Aug 2025).

The paper further introduces a weighted statistic

$h^*$2

and a sensitivity-generalized form

$h^*$3

where higher $h^*$4 increases sensitivity to large differences (Hoorn et al., 9 Aug 2025). The paper presents these as mechanisms for contextual weighting and for moving from the root-mean-square case $h^*$5 to a Hölder-mean family.

5. $h^*$6 as local Hájek projection in private U-statistics

A distinct usage arises in the theory of U-statistics under differential privacy. The paper studies estimation of

$h^*$7

where $h^*$8 are i.i.d. and $h^*$9 is a permutation-invariant kernel (Chaudhuri et al., 2024). The corresponding non-private U-statistic is

$h^*$0

which the paper describes as the minimum variance unbiased estimator for $h^*$1 under mild conditions (Chaudhuri et al., 2024).

The relevance of $h^*$2 enters through the Hájek projection. The paper defines

$h^*$3

and its empirical local version

$h^*$4

where $h^*$5 denotes the $h^*$6-subsets containing $h^*$7 (Chaudhuri et al., 2024). The paper states that $h^*$8 is sometimes denoted $h^*$9 in the literature, while using the term “local Hajek projection” itself (Chaudhuri et al., 2024).

This quantity is central to the paper’s privacy mechanism. U-statistics are difficult to privatize because of overlapping dependence, elevated global sensitivity relative to sample means, and degeneracy, where the variance can decay as $h^*$0 while standard privacy noise can remain too large (Chaudhuri et al., 2024). The proposed remedy is a thresholding-based approach using local Hájek projections to identify “good” and “bad” points, reweight tuples, and then add carefully calibrated smooth-sensitivity noise (Chaudhuri et al., 2024).

The stated significance of the local projection is twofold. First, it identifies and reweights outlier influence so that sensitivity is low on most datasets. Second, in degenerate cases where $h^*$1, it is sharply concentrated around $h^*$2, allowing the private estimator to remain close to the non-private U-statistic while adding much less privacy noise (Chaudhuri et al., 2024). The paper reports nearly optimal private error for non-degenerate U-statistics and strong evidence of near-optimality for degenerate U-statistics (Chaudhuri et al., 2024). In this literature, then, “$h^*$3” is not an outlier score but a projection-based linearization tool for statistical and algorithmic analysis.

6. $h^*$4 in Coxeter combinatorics and its type-$h^*$5 generalization

In algebraic combinatorics, the available arXiv source does not redefine $h^*$6 directly, but it does locate the statistic within the theory of Coxeter groups. The paper introduces a new statistic $h^*$7 on the hyperoctahedral group $h^*$8,

$h^*$9

and describes it as analogous to the classical Coxeter length function, with a crucial parity condition (Stasinski et al., 2013). It also gives the decomposition

$\hat h(i)$0

in terms of refined combinatorial statistics on signed permutation matrices (Stasinski et al., 2013).

The direct connection to $\hat h(i)$1 is explicit: the restriction of $\hat h(i)$2 to $\hat h(i)$3 coincides with the “$\hat h(i)$4 statistic” introduced by Klopsch and Voll, and the paper presents $\hat h(i)$5 as a type-$\hat h(i)$6 analogue of that earlier statistic (Stasinski et al., 2013). The parity restriction $\hat h(i)$7 is singled out as the defining feature that distinguishes $\hat h(i)$8 from ordinary Coxeter length (Stasinski et al., 2013).

The paper’s main conjecture concerns the signed generating function of $\hat h(i)$9 over descent classes: $\hat h(i)$00 with

$\hat h(i)$01

For singleton descent classes, the conjectured formula yields the Poincaré polynomials of varieties of symmetric matrices of fixed rank; for the full group,

$\hat h(i)$02

(Stasinski et al., 2013). The proof strategy for several cases uses supporting sets and sign-reversing involutions to show pairwise cancellation outside those sets (Stasinski et al., 2013).

Within this literature, $\hat h(i)$03 is therefore a combinatorial statistic tied to generating functions, descent classes, Poincaré polynomials, and representation-theoretic structures, rather than to statistical inference in the ordinary probabilistic sense.

7. Conceptual synthesis

Across the cited literature, $\hat h(i)$04 names objects that share notation but not domain, null model, or inferential target. In outlier analysis, it is a root-mean-square distance ratio for testing whether a candidate datum is exceptionally far from its peers (Hoorn et al., 9 Aug 2025). In differentially private U-statistics, it is a notational alias sometimes attached to the local Hájek projection used to control sensitivity and error (Chaudhuri et al., 2024). In Coxeter combinatorics, it denotes a statistic on symmetric groups that is generalized by a parity-sensitive type-$\hat h(i)$05 statistic $\hat h(i)$06 (Stasinski et al., 2013).

This multiplicity matters methodologically. The outlier $\hat h(i)$07 is calibrated by empirical or simulated null distributions tied to the inlier model and sample size (Hoorn et al., 9 Aug 2025). The U-statistics $\hat h(i)$08 usage is embedded in a privacy-utility analysis involving degeneracy, smooth sensitivity, and projection-based thresholding (Chaudhuri et al., 2024). The combinatorial $\hat h(i)$09 is studied through signed generating functions, supporting sets, and sign-reversing involutions (Stasinski et al., 2013). These are not interchangeable constructs.

A plausible implication is that references to an “$\hat h(i)$10 statistic” should always be read with explicit disciplinary qualification. Without that qualification, the notation is underdetermined.