Manuscript Hawk01-A@1 · Hawk01-A.tex · section · 11979653

Error budgets and sequential stability

Observer access, collection, and robust certification › Error budgets and sequential stability · lines 1965–1988

Hawk01-A@1#eq:lipschitzrecursion

Back to manuscript

A classical norm estimate is not automatically a diamond estimate. For classical intermediate maps with Lipschitz constants , an error recursion

gives, by induction,

Converting this bound into requires a theorem relating that classical norm to the selected field state or complete channel. The source-input stability estimates in Em06-B and the interface allowances in En03-A are relevant precedents, not substitutes for that theorem CheungEm06B,CheungEn03A.

Displayed formulas in this passage

  • Hawk01-A@1#eq:lipschitzrecursion · line 1974

  • unlabeled · line 1970

Nearby in this section