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.
The weak null does not center every mixed kernel assignment
Statement refuted
For a block-symmetric, block-antisymmetric two-sample kernel, the weak null implies that the kernel has mean zero under every assignment of P- and Q-distributed arguments to its positions.
Facts & Assumptions
Given: The laws and kernel in the Counterexample; the parameter and first-projection conventions in the following suppliers.
First projections are measurable and square-integrable: the displayed section integrals are measurable and square-integrable.
Counterexample
Let put mass at and at , and let put mass at and at . Take and
Given: , , and the kernel above. Verify the weak null and all stated counterexample properties.
The kernel is symmetric in and in , and exchanging the two blocks changes its sign. By independence within each product block, [F1] gives .
Under the mixed assignment and , independence gives . Thus the weak null does not force all mixed-assignment means to vanish.
Every law in is bounded and assigns positive mass both to zero and to a nonzero value. Therefore every product of two independently assigned variables has positive probability at zero and positive probability at a nonzero value, so it has positive finite variance. For any two assignments, is the difference of two independent such products; its second moment is finite and strictly positive.
The direct projections are and . Each has mean zero and variance under its respective law, so both direct first-projection variances are positive. At mixture weight , has mean and positive variance; its pooled projection is , which also has positive variance.
The example satisfies block symmetry and antisymmetry, the weak parameter null, all mixed second-moment requirements, and positive direct and pooled first-projection variances. Step 1.2 nevertheless gives a mixed assignment with nonzero mean, refuting the Statement. This is a gap in the cited coupling route, not a counterexample to the broader asymptotic theorem by itself.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
14 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.