Manuscript Psy03-B@1 · Psy03-B-v1.tex · section · 8ca3caf9
Identifiability and non-transfer
Identifiability and non-transfer · lines 2393–2447
Psy03-B@1#eq:testing
The complete-process records in Psy02-B and Psy03-A distinguish equality of interval maps from equality of entire admitted experiments CheungPsy02B,CheungPsy03A. Matching complete conditional maps and instruments gives matching history laws by induction. Matching one endpoint accuracy is substantially weaker.
For complete attempted-run laws , every randomized test satisfies
To verify (eq:testing), write
Equal complete laws imply .
Thus nuisance families reproducing the same complete process prevent mechanism identification regardless of sample size. The shared-generator overlap records in Psy02-B illustrate one such obstruction CheungPsy02B. Neither a scar count nor a single accuracy determines the mechanism.
Three quantum conclusions remain distinct:
a persistent classical register can alter a future carrier record after a carrier causal break;
a specified coherence changes a specified readout;
a positive robust contrast separates specified record families.
They do not establish quantum computational advantage or separation from every classical alternative. An alternative allowed to retain the input label in an additional classical register can reproduce some task records.
No correspondence identifies real-valued network weights with quantum graph edges or with biological lesions. Clinical variables do not occur in the mathematical premises. Adding an unconstrained clinical interpretation therefore does not change any computational prediction, as in the relative interpretive boundary of Psy02-A CheungPsy02A.
No scalar Fock limit, Wick-square contact class, gravitational energy functional, characteristic quantum product, or Ward identity is used. The inherited I3/J2 and downstream admission obligations documented in Psy02-B are not advanced by this finite construction CheungPsy02B.
Displayed formulas in this passage
Psy03-B@1#eq:testing · line 2405
unlabeled · line 2410