Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352

A specified sequential transfer interface

Row 4: the shrinking and mass-loss analogy › A specified sequential transfer interface · lines 851–866

Hawk04-C@1#eq:sequential-isometry

Let $R_{0}$ be trivial and let $V_{0} : C \to B_{0}$ be an isometry. Choose finite emission isometries

W_{j} : B_{j - 1} ⟶ S_{j} \otimes B_{j}, j = 1, \dots, t .

Define

R_{j} = S_{1} \otimes \dots \otimes S_{j}, V_{j} = (I_{R_{j - 1}} \otimes W_{j}) V_{j - 1} .

Every register not returned in $R_{j}$ belongs to the complete $B_{j}$ .

Displayed formulas in this passage

Hawk04-C@1#eq:sequential-isometry · line 860
$R_{j} = S_{1} \otimes \dots \otimes S_{j}, V_{j} = (I_{R_{j - 1}} \otimes W_{j}) V_{j - 1} .$
unlabeled · line 855
$W_{j} : B_{j - 1} ⟶ S_{j} \otimes B_{j}, j = 1, \dots, t .$