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
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