A Time-Frequency Framework for GKP Codes
This work develops a time-frequency method for lattice GKP codes, linking ideal codewords to localized phase-space coefficients. It shows ideal codes live in modulation space and are identified via a vector-valued Zak transform. This allows for stable reconstruction of logical information using finite coefficient blocks and provides tools to analyze logical operations like Pauli gates.