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.
Rademacher errors show orthogonality alone gives neither independence nor exact t and F laws
Statement refuted
"An orthogonal transformation preserves independence for arbitrary independent coordinates, and orthogonality alone guarantees the exact normal-theory t and F laws."
Facts & Assumptions
Given: The Rademacher variables and the t and F laws from positive-degree normal and chi-square ratios.
The Axiom of Choice is assumed by the imported t and F definitions and the positive-degree chi-square lemma used to establish positivity of their denominators; the finite Rademacher calculations themselves use no choice. The Axiom of Choice Student t and Fisher F laws Positive-degree chi-square laws have a positive density and regular CDF
A law uses an independent standard normal divided by a positive-degree chi-square square root, and an law is a ratio of positive-degree chi-square variables; both definitions assign zero on denominator-zero sets, which have probability zero for these Gaussian laws. Student t and Fisher F laws Positive-degree chi-square laws have a positive density and regular CDF
Counterexample
Given: Assume the Axiom of Choice for the imported and laws. Take with the uniform probability measure, assigning mass to each point, and define for . Each sign triple has probability , so the coordinate maps are independent Rademacher variables.
For two coordinates, apply to . The events and each have probability , while : occurs exactly when and exactly when . If the transformed coordinates were independent, would be , contradicting its actual value .
For three independent Rademacher observations, the event has probability . On , and , so the usual studentized mean is not a real-valued statistic on an event of positive probability. It therefore cannot have the law, which is a probability law on with a positive chi-square denominator almost surely by [A1, F1].
For , take the full fixed design with one intercept column and the reduced zero-dimensional design whose mean space is . Under the null intercept , the errors are . On , which has probability , the full-model residual sum is while the reduced residual sum is . Thus the nested F ratio has positive numerator and zero denominator (or is under extended-value convention), so it is not an almost surely finite variable.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
19 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.