Additional concepts, identities and derivations¶

Introduction to coherent states and corresponding identities.

Operator relations used in the main derivation.

Derivation on why the POVM for bucket detectors with loss can be rewritten as a function of the number operator.

Showcase of the conjugation of creation operators.

dive on determinant relations used in the main derivation.

Showcase of matrix properties used in the main derivation.

Small introduction to operator norms and how they are applied in the main derivation.