Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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.

Studentized permutation validity under mixed-assignment centering

Statement

Assume AC and the sampling and kernel conditions of Permutation CLT for a two-sample U-statistic under mixed-assignment centering. Let the direct first-projection variances σX2,σY2 and pooled variance σp2 be positive and finite, and put σN2=EPˉNgN2→σp2. Use the studentized statistic in Studentized two-sample U-statistic and permutation distribution. Suppose both variance estimates are consistent for their direct projection variances under the original samples and are permutation-consistent for σN2 in the conditional sense of Studentized permutation validity under a weak two-sample parameter null. A sufficient condition for the latter is that each estimate depends on its own group alone and is consistent for σN2 on an IID PˉN sample of that size.

Then the conditional permutation CDF of Sm,n=Um,n/Vm,nSE converges uniformly in probability to Φ, and under the true sampling law Sm,n⇒N(0,1).

Facts & Assumptions

Given: All-assignment centering and moments, positive direct and pooled projection variances, direct consistency, and either direct permutation consistency or the sufficient separate-group triangular-mixture condition.

[F1]

Studentized permutation validity under a weak two-sample parameter null proves both studentized limits and the sufficient separate-group consistency condition under the weak null and mixed moments.

[F2]

Permutation CLT for a two-sample U-statistic under mixed-assignment centering states the sampling and all-assignment centered kernel conditions inherited here.

[A1]

AC is inherited through [F1]. The Axiom of Choice

Proof

Given: The hypotheses in the Statement. Apply the general studentized theorem.

1.1F1F2given

The all-assignment centered conditions in [F2] include the weak null, block antisymmetry, fixed order, proportional sample growth and all mixed moments needed by [F1]. The remaining projection and estimator conditions here are exactly the corresponding conditions of [F1].

2.1A1F1step 1.1∎

Under AC [A1], apply [F1] to obtain both standard-normal limits and, when used, its separate-group sufficient consistency criterion.

Remarks

This specialization retains the original all-assignment centered branch. Joint two-group variance estimates satisfy the theorem when their permutation consistency is established directly; the separate-group transfer lemma does not by itself prove consistency of arbitrary joint estimates.

Depends on

Used by

Dependency tree · two levels

13 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.

Sources