QuantumInfo.Entropy.VonNeumann

Quantum notions of information and entropy.

We start with quantities of _entropy_, namely the von Neumann entropy and its derived quantities: * Quantum conditional entropy, `qConditionalEnt` * Quantum mutual information, `qMutualInfo` * Coherent information, `coherentInfo` * Quantum conditional mutual information, `qcmi`. and then prove facts about them.

1 declaration

definition

Vector-to-matrix mapping $v \mapsto M$

#vecToMat

Given two finite index sets $d_1$ and $d_2$ and a vector $v: d_1 \times d_2 \to \mathbb{C}$ defined on their Cartesian product, this function constructs a matrix $M \in \text{Mat}_{d_1 \times d_2}(\mathbb{C})$ whose entry at row $i \in d_1$ and column $j \in d_2$ is defined as $M_{i,j} = v(i, j)$ .

QuantumInfo.Entropy.VonNeumann

Vector-to-matrix mapping v↦Mv \mapsto Mv↦M

Vector-to-matrix mapping $v \mapsto M$