3 problems

Good GKP codes conjecture. The code is likely to be good, encodes $k=n$ qubits, and has distance

Effective-squeezing lower-bound conjecture. The effective squeezing satisfies

Let $D=\operatorname{diag}(d_1,\ldots,d_n)$ be a type, and let $\mathcal{L}\subseteq\mathcal{L}^{\perp}\subseteq\mathbb{R}^{2n}$ be a symplectically integral lattice of type $D$. H…