โปรดทราบว่าสำหรับขัดแตะ $L\subseteq\mathbb{R}^n$, $\det(L)$ เป็นปริมาตรของ a โดเมนพื้นฐาน.
มักจะมีอ็อบเจกต์เหล่านี้อยู่มากมาย แต่มี 2 อย่างที่มักเป็นที่สนใจหลัก:
- เซลล์โวโรนอย $\mathcal{V}(L) = \{x\in\mathbb{R}^n\mid \forall \ell\in L\setminus\{0\}, \lVert x\rVert_2\leq \lVert x- \ell\rVert_2\}$, เช่น. มันเป็นจุดใน $\mathbb{R}^n$ ที่เข้าใกล้ 0 มากกว่าจุดขัดแตะอื่นๆ
- Parallelpiped พื้นฐาน --- สำหรับพื้นฐาน $\mathbf{B}$ ของตะแกรงชุดนี้ครับ $\mathbf{B}[0,1)^n$ (หรือบางครั้ง $\mathbf{B}[-1/2,1/2)^n$.
ถึงบางประเด็นเกี่ยวกับขอบเขต โดเมนพื้นฐาน "พื้นที่กระเบื้อง" หมายความว่าผลรวม
$$L + D = \mathbb{R}^n$$
คือ พาร์ทิชัน. ถ้าเราถือว่าโครงตาข่ายเป็น $คิว$-ary เราสามารถลด mod ทุกอย่างได้ $คิว$ เพื่อให้ได้สิ่งนั้น $(L\bmod q) + (D\bmod q) = \mathbb{R}/q\mathbb{R}^n$ เป็นฉากกั้นห้องด้วย [1]
เราได้รับสิ่งนั้น
$$|L\bmod q||D\bmod q| = q^n\implies |L\bmod q| = \frac{q^n}{|D|} = \frac{q^n}{\det L}.$$
สิ่งที่ต้องการก็ต่อจากการใช้ว่าขัดแตะ $m$มิติและมี $|L\bmod q| = q^{m-n}$ จุด ดังนั้นตัวกำหนดจะต้องเป็น $q^n$.
[1] อาจมีปัญหาบางอย่างเกี่ยวกับโดเมนพื้นฐานที่ผิดปกติโดยเฉพาะ $D$ ที่นี่ (โดยเฉพาะโดเมนพื้นฐานที่ไม่มีอยู่ใน $[-q/2, q/2)^n$แต่ถ้าคุณปล่อยให้ $D$ เป็นห้องขังโวโรนอย ทุกอย่างดูปกติดี และฉันไม่แน่ใจด้วยซ้ำว่าความกังวลที่ฉันพูดถึงนี้เป็นเพราะเหตุผลเฉพาะหรือไม่