Manuscript Em03-C@1 · Em03-C-v1.tex · section · 47dd71ec

Exact extraction and global control error

Joint extraction and complete correlated readout › Exact extraction and global control error · lines 1433–1456

Back to manuscript

The joint bound need not be an equality: different tail branches can overlap after finite preparation.

Allow a global bounded perturbation

on memories, registers, and , with identity on . It may include cross-memory and cross-register coupling. A permitted finite leakage model has

Define

Displayed formulas in this passage

  • unlabeled · line 1439

  • unlabeled · line 1445

  • unlabeled · line 1453

Nearby in this section