Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck pass
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.

[A1]

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

[F1]

A tk law uses an independent standard normal divided by a positive-degree chi-square square root, and an Fr,s 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

technique · direct

Given: Assume the Axiom of Choice for the imported t and F laws. Take Ω={−1,1}3 with the uniform probability measure, assigning mass 1/8 to each point, and define Ri(ω)=ωi for i=1,2,3. Each sign triple has probability (1/2)3, so the coordinate maps are independent Rademacher variables.

1.1givenalgebra

For two coordinates, apply U=2−1/2(111−1) to (R1,R2)T. The events A={∣(UR)1∣=2} and B={∣(UR)2∣=2} each have probability 1/2, while A∩B=∅: A occurs exactly when R1=R2 and B exactly when R1=−R2. If the transformed coordinates were independent, P(A∩B) would be 1/4, contradicting its actual value 0.

1.2givenA1F1algebra

For three independent Rademacher observations, the event E={R1=R2=R3} has probability 2/8=1/4. On E, Rˉ=±1 and S2=12∑i=13(Ri−Rˉ)2=0, so the usual studentized mean Rˉ/(S/3) is not a real-valued statistic on an event of positive probability. It therefore cannot have the t2 law, which is a probability law on R with a positive chi-square denominator almost surely by [A1, F1].

2.1givenA1F1algebra∎

For n=2, take the full fixed design with one intercept column (1,1)T and the reduced zero-dimensional design whose mean space is {0}. Under the null intercept 0, the errors are (R1,R2)T. On E+={R1=R2}, which has probability 1/2, the full-model residual sum is RSSU=0 while the reduced residual sum is RSSR=2. 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 F1,1 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.