Manuscript X-J-ST@1 · X-J-ST.tex · theorem · 8f0d1a36

Theorem: Selective visibility or erasure

Section B: selective amplitude visibility › The retained amplitude family · lines 1067–1096 · proof included or linked

X-J-ST@1#thm:amplitude

Back to manuscript

For a fixed instrument and fixed , its complete output on is constant on a nonempty open interval containing zero if and only if

In that case it is constant on the entire declared real-amplitude family.

For the classical law alone, the corresponding condition is

Proof. Differentiate (eq:selective):

At zero, constancy forces . At any nonzero point in the interval, , so . The converse follows from the exact formula. Distinct classical blocks cannot cancel. Taking traces gives the outcome-law statement.

Displayed formulas in this passage

  • unlabeled · line 1072

  • unlabeled · line 1079

  • unlabeled · line 1086

Nearby in this section