Registry · Definition
V.D148
tau-effective
formalized
V.D148 — Orbit-Depth-Dependent Readout
An orbit-depth-dependent readout is a physical quantity whose measured value depends on the orbit depth n at which measurement is performed, defined as the restriction of an observable O on H_partial[omega] to the level-n truncation of the refinement tower.
Book V
Part 5
Ch. 45