I'm reading lemma 5.2 of [GPV'STOC2008, page 18] about conditional distribution of an integer error vector $\mathbf{e}\in\mathbb{Z}^{m}$, taken from an appropriate discrete Gaussian $\mathbf{e}\sim D_{\mathbb{Z}^{m},s}$, given its syndrome $\mathbf{u}=\mathbf{A}\mathbf{e}\mod q$. Below is the image:
My questions are:
- Why are they saying the conditional distribution is $\mathbf{t}+D_{\Lambda^{\perp},s,-\mathbf{t}}$? This is an $m$-dimensional vector added to a scaler-value function, not a probability distribution. It's quite confusing to me. Is it a notation for otherthings? Is $\mathbf{t}+D_{\Lambda^{\perp},s,-\mathbf{t}}$ exactly the probability distribution $D_{\Lambda^{\mathbf{u}}_{q}(\mathbf{A})}$?
- In the last line of the proof, how do they say $\mathbf{v}$ is distributed as $D_{\Lambda^{\perp},s,-\mathbf{t}}$? By writing $\mathbf{e}=\mathbf{t}+\mathbf{e}$, we'll have $D(\mathbf{e})=D(\mathbf{t}+\mathbf{v})=\ldots=D_{\Lambda^{\perp},s,-\mathbf{t}}(\mathbf{e}-\mathbf{t})=D_{\Lambda^{\perp},s,-\mathbf{t}}(\mathbf{v})$.
