Manuscript XII-F@1 · XII-F.tex · section · 54cb3169

The copied switching display

F2: companion support and the off-condition diagnostic › The copied switching display · lines 691–712

XII-F@1#eq:UCP

Back to manuscript

The set (eq:sampling-support) is not a claim that the full functional dependence on is localized there: was itself propagated from . Nor is it a support bound for the scalar response before smearing.

The condition (CP) uses , not . Thus its cancellation need not arise by deleting each term of (eq:companion-display) separately. For example, a locally constant tail of can make the local term and a propagated switching term cancel.

A useful configuration-independent sufficient condition is

It implies (CP) for every for this fixed parameter and observation. We use (UCP) in the decisive witness.

Displayed formulas in this passage

  • XII-F@1#eq:UCP · line 705

Nearby in this section