How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exact equality null versus weak parameter null
Example
For the sample-mean kernel , compare two cases. First take equal to the Rademacher law. Second take the distinct laws and . Both cases satisfy the weak parameter null , but only the first has an invariant pooled law under all label permutations. In both cases use the usual sample variances as in Studentized two-sample U-statistic and permutation distribution, and take . For a group , put and .
Facts & Assumptions
Given: The two law pairs and the mean-difference kernel in the Example.
Finite-sample exactness under equal distributions: when , the inclusive permutation p-value is superuniform and independent-uniform tie randomization is exact.
Studentized permutation validity under mixed-assignment centering: under a weak mean-difference null with the stated moment, variance, and studentizer conditions, studentization gives asymptotic standard-normal permutation and sampling limits.
Studentized two-sample U-statistic and permutation distribution defines the statistic using the two nonnegative variance estimates and its zero-denominator convention.
Chebyshev's inequality on a finite probability space proves consistency of bounded finite-support sample means and second moments.
AC is assumed by the asymptotic permutation limit result [F3]. The Axiom of Choice
Verification
Given: AC, the law pairs, , the sample-variance estimators, and . Verify the shared parameter null and distinguish their invariance conditions.
In both cases, , so [F1] gives . The kernel is antisymmetric, and for either assignment of P and Q to its two arguments its mean is . All mixed second moments are finite and positive because the two laws have finite positive variances.
In the first case , so the joint law of the pooled IID sample is invariant under coordinate permutations; [F2] gives finite-sample superuniformity and exactness after tie randomization. In the second case (for example, and ), so swapping coordinates across groups does not preserve the sampling law. The parameter null alone therefore does not supply the finite-sample exchangeability premise of [F2].
Under AC [A1], in each case the two population variances are positive, and the pooled-mixture variance is positive. For any bounded law , [F5] applied to and shows that their sample averages converge to and ; the identity then proves sample-variance consistency. For the triangular pooled laws , the same Chebyshev bounds are uniform because the support stays in , and their variances converge to in the first case and in the second. Thus the estimators in [F4] satisfy the conditions of [F3]. In the second case, studentization has the asymptotic standard-normal calibration even though finite-sample group exchangeability is absent.
Depends on
- Finite-sample exactness under equal distributions
- Studentized permutation validity under mixed-assignment centering
- Studentized two-sample U-statistic and permutation distribution
- Two-sample U-statistic parameter
- Identical distribution and IID families
- Chebyshev's inequality on a finite probability space
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
24 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.