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

Back to manuscript

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

Nearby in this section