Manuscript Em03-G@1 · Em03-G-v1.tex · section · 0bb3a8a3
A phase-matched packet model and an explicit decoder
A phase-matched packet model and an explicit decoder · lines 1129–1175
Em03-G@1#eq:matched, Em03-G@1#eq:decoder
Fix one normalized compact-band outgoing packet , and put
For , choose comparison coefficients
Then
The endpoint unitary acts only on the source and this one outgoing packet. The packet's initial density is the geometric density of mean .
The coefficients in (eq:matched) are not compact bulk tests. They are a comparison model; compact realizations are constructed in Section sec:compact.
Let , the source state. Define the deterministic packet decoder
Its output source basis is identified with the original message. It uses a fresh independent qubit in , the inverse two-pulse unitary on that qubit and packet, and packet discard. It is CPTP on every normal packet input.
Displayed formulas in this passage
Em03-G@1#eq:matched · line 1137
Em03-G@1#eq:decoder · line 1162
unlabeled · line 1133
unlabeled · line 1144
unlabeled · line 1147