Stats hypothesis testing - CyrilB1531/lodestar GitHub Wiki
Development build. This page describes
main, not a released package. The latest published Lodestar.Stats is 0.4.0 โ read its documentation.
Hypothesis testing
Lodestar.Stats answers one question in ten forms: is this difference more
than noise?
What happens to a missing value
By default a NaN anywhere in a sample reaches the statistic and the p-value, which is scipy's
nan_policy='propagate' and what every test here did before the parameter existed. Pass
NanPolicy.Omit to drop the missing observations instead, or
NanPolicy.Raise to refuse the input. For a paired test, Omit drops the pair โ filtering the
two samples separately would change what is being tested, which is the mistake the parameter
exists to prevent.
Which test
| you have | and you assume | use |
|---|---|---|
| two independent samples | roughly normal | TTest.Independent |
| two independent samples | nothing about the shape | MannWhitney.Test |
| the same subjects measured twice | roughly normal differences | TTest.Paired |
| the same subjects measured twice | nothing about the shape | Wilcoxon.Paired |
| counts in categories | a stated expected distribution | ChiSquare.GoodnessOfFit |
| a contingency table | cells large enough for the approximation | ChiSquare.Contingency |
| a 2ร2 table with small cells | nothing | FisherExact.Test |
| two samples, whole distributions | nothing | KolmogorovSmirnov.TwoSample |
| three or more groups | roughly normal, similar spread | OneWayAnova.Test |
| three or more groups | nothing about the shape | KruskalWallis.Test |
| one sample, and a normality assumption to check | nothing | ShapiroWilk.Test |
| many p-values at once | nothing | MultipleComparisons |
What a p-value is, and is not
A p-value is the probability of seeing a difference at least this large if the null hypothesis is true. It is not the probability that the null hypothesis is true, and it is not the probability that your result is a fluke. A p-value of 0.03 does not mean there is a 3 % chance you are wrong.
Two consequences worth acting on:
0.049and0.051are the same evidence. The threshold is a convention, not a discovery. Report the number.- Twenty tests at 5 % produce one significant result by chance. That is what
MultipleComparisonsis for, and it is not optional once you are testing more than a couple of things.
The step-up procedure below is
MultipleComparisons.BenjaminiHochberg,
the one most people reach for first:
using Lodestar.Stats;
double[] pValues = [0.001, 0.008, 0.039, 0.041, 0.042];
double[] adjusted = MultipleComparisons.BenjaminiHochberg(pValues);
bool stillSignificant = adjusted[0] < 0.05; // => True
One default that is not scipy's
TTest.Independent defaults to
Welch's test; scipy.stats.ttest_ind defaults to Student's. Pooling the two
variances is only correct when the populations really share one, which is an
assumption most callers have not checked. Pass Variance.Equal for scipy's
default. Everything else in this package matches scipy.stats 1.18.0 exactly,
and the equivalence table is the row-by-row map, including
the handful of places one call refuses rather than answering โ a NaN, a
warning, or a number a caller did not ask for.
Exact and asymptotic
Three tests carry both an exact null distribution and a normal approximation to
it, selected by ExactMethod:
Autoโ exact for a small, untied sample; asymptotic otherwise. Whatscipy'smethod='auto'does, and the same thresholds.Exactโ always the exact distribution. On tied data the number is only approximate, because ties break the equal-probability argument the enumeration rests on;scipycomputes there too rather than refusing, and so does this.Asymptoticโ always the normal approximation, whatever the sample size.
The branch changes the number, not just the running time, which is why it is a
parameter and not a hidden optimisation. Each of the three tests also refuses
ExactMethod.Exact past its own size bound โ the exact table is
O(nยทm) or worse to build, and Auto never crosses that bound on its own,
falling back to the asymptotic answer instead. The three reference pages
(MannWhitney.Test,
Wilcoxon.Paired,
KolmogorovSmirnov.TwoSample)
each state their own bound, because it is not the same number twice.
The incumbents, and the one measured
MathNet.Numerics 5.0.0 (2022-04-03, 74.7M downloads) is the dominant
third-party numerical library for .NET, and it ships probability distributions
and descriptive statistics โ no hypothesis tests. ML.NET does prediction: a t-test
exists only in Azure ML Studio (classic), a retired hosted product, and
Mann-Whitney only in Kusto/KQL โ neither is a .NET library a project can
reference.
Three .NET libraries do carry the tests, and this page said for a while that only the first did (decision 0004 has the reading that corrected it):
Accord.Statistics3.8.0, LGPL-2.1, last published on 2017-10-19; its framework,accord-net/framework(4.5k stars), was archived by its owner on 2020-11-19.Meta.Numerics4.2.0, MS-PL,netstandard2.0, published 2025-07-14 after five years without a release. It carries eight of this package's ten families โ the t-tests, Mann-Whitney, Wilcoxon, Kruskal-Wallis, Kolmogorov-Smirnov, one-way ANOVA, Fisher's exact test and the chi-square table โ and Shapiro-Francia rather than Shapiro-Wilk. Measured (#756): this package is ahead on seven of the eight at both 100 and 10,000 samples, from 1.32ร on Kruskal-Wallis to 5.95ร on the chi-square table, with the signed-rank row a wash at 100 and a win at 10,000. It was behind on two, and both were costs here rather than differences in what the libraries compute: Fisher's exact test went from 8.2ร behind to 3.49ร ahead, and the equal-size exact Kolmogorov-Smirnov from 12.8ร behind to 1.47ร ahead โ the same p-values, andExactMethod.Autostill choosing the exact branch thatscipy's ownmethod="auto"chooses. Its chi-square applies no continuity correction, so its statistic is 9.09091 where this package's is 7.91919 on the same table, and its signed-rank statistic follows a different convention. Neither is a disagreement about the data: the write-up indocs/guides/performance.mdlists all six differences with their causes.Numerics.NET10.7.0, formerly Extreme Optimization, maintained and commercial. Named so its absence from the benchmarks is not mistaken for an absence from .NET.
Accord.Statistics is the one measured so far, because #442's own constraint asks for a named
.NET incumbent where one exists at all. TTest.Independent,
MannWhitney.Test and
ChiSquare.Contingency are benchmarked and
cross-checked against it in
bench/README.md
and docs/guides/performance.md โ
archived is not the same as absent, and this package's own oracle discipline
means the comparison is also a second opinion on scipy, not only a timing.