$\textbf{ต่อเนื่อง LWE}$ : $(\overrightarrow{a}, b)\in \mathbb{Z}_q^n\times \mathbb{T}$, ที่ไหน $\mathbb{T}=\mathbb{R}/\mathbb{Z}$, $b = \langle \overrightarrow{a},\overrightarrow{s}\rangle/q + e\mod 1$ซึ่งข้อผิดพลาด $e$ เป็นตัวอย่างจาก $\Psi_\alpha(x) := \sum_{k=-\infty}^{\infty}\frac{1}{\alpha}\cdot exp(-\pi(\frac{x-k}{\alpha} )^2), x\in [0,1)$ มากกว่าพรู $\mathbb{T}$. ฟังก์ชันความหนาแน่น $\Psi_\alpha$ เป็นเพียงฟังก์ชันกัวเซียน $\rho_\alpha(x) = \frac{1}{\alpha}exp(-\pi x^2/\alpha^2) \mod 1$.
$\textbf{การแยกแยะ}: $ แปลงตัวอย่างต่อเนื่อง $(\overrightarrow{a},b)$ ถึง $(\overrightarrow{a}, \lfloor qb\rceil) \in \mathbb{Z}_q^{n+1} $, $\lfloor qb\rceil = \langle \overrightarrow{a},\overrightarrow{s}\rangle + \lfloor qe \rceil \mod q$ดังนั้น ข้อผิดพลาดในการแยกแยะคือการแจกแจง $q\cdot\Psi_\alpha$ เกิน $\mathbb{Z}_q$.
$\textbf{เกาส์เซียนโค้งมน}:$ $\rho_\alpha(x) = \frac{1}{\alpha}exp(-\pi x^2/\alpha^2)$ ซึ่งก็คือการแจกแจงแบบเกาส์เซียนนั่นเอง $\mathbb{R}$เราแปลงเป็น $\mathbb{Z}_q$ โดย $\lfloor \rho_\alpha \rceil \mod q$ซึ่งหมายความว่าเราสุ่มตัวอย่างจริงจาก $\rho_\alpha$แล้วปัดเศษให้เป็นจำนวนเต็มและโมดูโล $คิว$, แล้ว $\lfloor \rho_\alpha \rceil \mod q$ ยังเป็นการจัดจำหน่ายอีกด้วย $\mathbb{Z}_q$..
$\textbf{คำถามของฉัน}:$
เป็นการกระจายในลักษณะที่ไม่ต่อเนื่อง $q\cdot \Psi_\alpha$ และเสียนกลม $\lfloor \rho_\alpha \rceil \mod q$ เกิน $\mathbb{Z}_q$ เหมือน?
ถ้าเราเลือก $\lfloor \rho_\alpha \rceil \mod q$ หรือ $\lfloor q\cdot \Psi_\alpha\rceil $ เป็นการกระจายข้อผิดพลาดใน discretization LWE มันยังยากอยู่ไหม?
ฉันคิดว่าการกระจายทั้งสองมากกว่า $\mathbb{Z}_q$ แตกต่าง. เดอะ $\lfloor q\cdot \Psi_\alpha\rceil $ เป็นเพียงการกระจายใน [Regev05] ซึ่งได้รับการพิสูจน์อย่างหนัก แล้วยังไงต่อ $\lfloor \rho_\alpha \rceil \mod q$ ?