Manuscript En10-B@1 · En10-B.tex · proposition · a1105bad

Proposition: Different source weights with identical complete records

Competing explanations and complete-record discrimination › An explicit complete-law ambiguity · lines 1093–1158 · proof included or linked

En10-B@1#prop:overlap

Back to manuscript

There is an admissible finite-kick calibration set containing two members with different source weights and identical complete laws. For that pair, every randomized binary test based on ideal independent records has errors satisfying .

Proof. Take , , and three possible transition values

They are realized by and . For an explicit admissible angle bound, choose

The other offset has smaller absolute value. For instance, the relevant elementary angle inequalities give

Hence and . A compact set containing these fixed angles and the weight simplex satisfies (eq:calibration-set).

For the first member choose

Then . For the second choose

Direct rational arithmetic gives . Both members have

Their common complete law is

Let a randomized test declare the second member with probability . The record-list laws are identical, so

Displayed formulas in this passage

  • unlabeled · line 1105

  • unlabeled · line 1112

  • unlabeled · line 1117

  • unlabeled · line 1128

  • unlabeled · line 1133

  • unlabeled · line 1140

  • unlabeled · line 1144

  • unlabeled · line 1153

Nearby in this section