Manuscript En10-B@1 · En10-B.tex · proposition · a1105bad
Proposition: Information at a fixed known nuisance value
Likelihood, source sensitivity, and nuisance information › Fisher-information ledger · lines 679–724 · proof included or linked
En10-B@1#prop:FI, En10-B@1#eq:FI-score, En10-B@1#eq:FI-record, En10-B@1#eq:FI-bound
For , fixed , and independent repetitions, the one-shot score information and complete-record information are
They satisfy
Independent repetition multiplies each information by . The upper bound applies to every measurement of the derived post-preparation system at fixed nuisance.
Proof. The score has a Bernoulli law with derivative . Differentiating (eq:likelihood) gives
which proves both formulas.
The hidden source component has score on and on , with squared-score expectation . Any measurement after a -independent channel has an outcome score equal to the conditional expectation of this source score given the outcome. Conditional Jensen bounds its squared expectation by the source information. The statistic is a deterministic coarsening of the full record; a second conditional Jensen inequality gives . Independent scores have mean zero, so their information adds.
Displayed formulas in this passage
En10-B@1#eq:FI-score · line 683
En10-B@1#eq:FI-record · line 683
En10-B@1#eq:FI-bound · line 693
unlabeled · line 706