Score:1

จะพิสูจน์อสมการของ q-ary lattice determinant ได้อย่างไร?

ธง in

สำหรับ $A\in{Z_q^{n*m}}$ และ $A^{'}\in{Z_q^{m*n}}$,เรามี

  • $det{({\land}_q^{\bot}(A))}{\le}q^n$ และ $det{({\land}_q(A^{'}))}{\ge}q^{m-n}$
  • ถ้า q เป็นจำนวนเฉพาะและ A,A' ไม่เป็นเอกพจน์ในฟิลด์จำกัด $Z_q$,อสมการข้างต้นคือความเท่าเทียมกัน

ที่ไหน ${\land}_q^{\bot}(A) = \{x{\in}Z^m|Ax=0{\bmod}q\}$ และ ${\land}_q(A)=\{y{\in}Z^m|y=As{\bmod}q\}$

เนื้อหาข้างต้นมาจากเอกสารประกอบการบรรยายของ D. Dadush (บทแทรก 4) เลคเชอร์_9ฉันไม่รู้ว่าจะพิสูจน์บทแทรกข้างต้นได้อย่างไร เพราะหลักฐานในเอกสารประกอบการบรรยายนั้นดูไม่ละเอียดเกินไปสำหรับฉัน ฉันจะขอบคุณมากหากมีคนสามารถให้หลักฐานโดยละเอียดเพิ่มเติมได้ã

LeoDucas avatar
gd flag
อาจเป็นสถานที่ที่ดีที่จะรับทราบว่ามีข้อผิดพลาดหลายประการในเอกสารประกอบการบรรยายเหล่านั้น เรากำลังดำเนินการแก้ไขอยู่ในขณะนี้ :/
LeoDucas avatar
gd flag
สำหรับตัวอย่างนั้น ไม่มีข้อผิดพลาด แต่บางทีการเรียกใช้บทแทรก 10 ของบทที่ 2 อย่างชัดเจนอาจช่วยได้ https://homepages.cwi.nl/~dadush/teaching/lattices-2018/notes/lecture-2.pdf
Score:2
ธง in

ฉันได้รับแรงบันดาลใจจาก ppt ของ vadim แต่ฉันพิสูจน์ทฤษฎีบทได้เพียงครึ่งเดียวเท่านั้น

การพิสูจน์: ${\เพราะว่า}{\land_q^{\bot}}(A)$ เป็นตาข่ายจำนวนเต็ม ${\ดังนั้น} {det({\land_q^{\bot}}(A))}=|{Z^m}/{\land_q^{\bot}}(A)|$. ให้เรากำหนดการแมป ${f}:{Z^m}{\to}{Z_q^{n}}$,${f:ขวาน{\bmod}q}$. มันง่ายที่จะตรวจสอบว่า $f$ เป็นโฮโมมอร์ฟิกตามทฤษฎีบทพื้นฐานของโฮโมมอร์ฟิซึมï¼$|{Z^m}/kerf|=|{Z^m}/{\land_q^{\bot}}(A)|=|im({Z^m})|$.เพราะ $im({Z^m}){\subseteq}{Z_q^{n}}$,ดังนั้น ${det({\land_q^{\bot}}(A))}=|{Z^m}/{\land_q^{\bot}}(A)|{\leq}q^n$. ถ้า q เป็นจำนวนเฉพาะและ A ไม่ใช่เอกพจน์ ดังนั้น $f$ เป็นโฮโมมอร์ฟิซึ่มเต็มตัวเพราะทุกภาพใน ${Z_q^{n}}$ สามารถค้นหาภาพต้นฉบับได้ใน ${Z^m}$.ดังนั้น $im({Z^m})={Z_q^{m}}$ และ ${det({\land_q^{\bot}}(A))}=|{Z^m}/{\land_q^{\bot}}(A)|=q^n$.

อย่างไรก็ตาม ฉันไม่พบวิธีพิสูจน์อีกครึ่งหนึ่งของทฤษฎีบทนี้ ฉันจะขอบคุณถ้ามีคนสามารถให้หลักฐานที่เหลือ

Ievgeni avatar
cn flag
คุณสามารถให้แหล่งที่มาเกี่ยวกับคำจำกัดความของดีเทอร์มิแนนต์ได้หรือไม่?
Mark avatar
ng flag
ครึ่งหลังของทฤษฎีบทต่อจากข้อเท็จจริงพื้นฐานเกี่ยวกับโครงตาข่าย สำหรับโครงตาข่ายใดๆ $\Lambda$ เรามี $\det \Lambda \det \Lambda^* = 1$ โดยที่ $\Lambda^*$ คือโครงตาข่ายคู่ $\Lambda_q^\perp(A)$ และ $\Lambda_q(A)$ ไม่ใช่แบบคู่ แต่เป็นแบบคู่ที่ปรับขนาดได้ --- โดยเฉพาะอย่างยิ่ง $\Lambda_q(A)^* = (1/q)\Lambda_q^\ perp(A)$ (และ $\Lambda_q^\perp(A)^* = (1/q)\Lambda_q(A)$ ) ดังนั้น $\det \Lambda_q^\perp(A) \det (1/q)\Lambda_q(A) = 1$ ดังนั้น $1/\det((1/q)\Lambda_q(A)) \leq q^n$ ผลลัพธ์จะตามมาจากการทำให้ง่ายขึ้น
in flag
@ Markï¼ขอบคุณสำหรับอาหารเสริมของคุณ ฉันรู้วิธีพิสูจน์
in flag
@levgeni: ฉันคิดว่ามีบางอย่างที่คุณต้องการใน [บันทึกการบรรยาย](https://homepages.cwi.nl/~dadush/teaching/lattices-2018/notes/lecture-2.pdf)

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา