Manuscript X-Enter-ST@1 · X-Enter-ST.tex · definition · f76acc1f

Definition: Declared complete output

Stage B: the encoding-independent orbit obstruction · lines 458–472

X-Enter-ST@1#def:complete

Back to manuscript

For an encoding , let denote the entire declared output: every reported classical word and every returned quantum factor.

It is orbit invariant if

It is {informative about } if is nonconstant as a function of .

Displayed formulas in this passage

  • unlabeled · line 466

Nearby in this section