กลับไปหน้าบทความ

อ่าน 5 นาที

มุ่งหน้าสู่ซิงเกิลตัน

ใน ทฤษฎีการเข้ารหัส ขอบเขต ของซิงเกิลตัน ซึ่งตั้งชื่อตามนักคณิตศาสตร์ชาวอเมริกัน ริชาร์ด คอลลอม ซิงเกิลตัน (ค.ศ.

มุ่งหน้าสู่ซิงเกิลตัน

ในทฤษฎีการเข้ารหัสขอบเขตของซิงเกิลตันซึ่งตั้งชื่อตามนักคณิตศาสตร์ชาวอเมริกัน ริชาร์ด คอลลอม ซิงเกิลตัน (ค.ศ. 1928–2007) เป็นขอบเขตบนที่ค่อนข้างหยาบของขนาดของรหัสบล็อก ใดๆ ที่มีความยาวบล็อกขนาดและระยะห่างขั้นต่ำนอกจากนี้ยังรู้จักกันในชื่อขอบเขตของโจชิ[ 1 ]ซึ่งพิสูจน์โดยโจชิ (ค.ศ. 1958)และก่อนหน้านั้นโดยโคมามิยะ

คำแถลงเกี่ยวกับขอบเขต

ระยะห่างขั้นต่ำของชุดรหัสคำที่มีความยาวถูกกำหนดโดย โดยที่คือระยะห่างแฮม มิง ระหว่างและนิพจน์นี้แสดงถึงจำนวนรหัสคำสูงสุดที่เป็นไปได้ในรหัสบล็อกแบบ -ary ที่มีความยาวและระยะห่างขั้น  ต่ำ

จากนั้นสถานะผูกพันของซิงเกิลตันที่

การพิสูจน์

ขั้นแรก สังเกตว่าจำนวนคำที่ลงท้ายด้วย -ary ที่มีความยาวเท่ากับ n คือn เนื่องจากตัวอักษรแต่ละตัวในคำดังกล่าวสามารถมีค่าได้หลายค่า โดยไม่ขึ้นอยู่กับตัวอักษรที่เหลืออยู่

สมมติให้เป็นรหัสบล็อกแบบ n-ary ที่มีระยะห่างต่ำสุดเห็นได้ชัดว่า รหัสคำทุกคำแตกต่างกัน หากเราเจาะรหัสโดยการลบตัวอักษรตัวแรกของแต่ละรหัสคำ รหัสคำที่ได้ทั้งหมดจะต้องยังคงแตกต่างกันเป็นคู่ๆ เนื่องจากรหัสคำดั้งเดิมทั้งหมดในมีระยะห่างแฮม มิง อย่างน้อยดังนั้น ขนาดของรหัสที่เปลี่ยนแปลงแล้วจึงเท่ากับรหัสดั้งเดิม

รหัสคำที่ได้รับใหม่แต่ละรหัสมีความยาว และด้วยเหตุนี้จึงสามารถมีได้มากที่สุดเนื่องจากเป็นค่าที่กำหนดโดยพลการ ขอบเขตนี้จึงต้องเป็นจริงสำหรับรหัสที่ใหญ่ที่สุดที่เป็นไปได้ด้วยพารามิเตอร์เหล่านี้ ดังนั้น: [ 2 ]

รหัสเชิงเส้น

ถ้าเป็นรหัสเชิงเส้นที่มีความยาวบล็อกมิติและระยะทางขั้นต่ำเหนือฟิลด์จำกัดที่มีองค์ประกอบ จำนวนคำรหัสสูงสุดคือและขอบเขตซิงเกิลตันบ่งชี้ว่า: ดังนั้น ซึ่งมักจะเขียนเป็น[ 3 ]

ในกรณีรหัสเชิงเส้น การพิสูจน์ขอบเขต Singleton ที่แตกต่างกันสามารถทำได้โดยการสังเกตว่าอันดับของเมทริกซ์ตรวจสอบความเท่าเทียมกันคือ[ 4 ] การพิสูจน์ง่ายๆ อีกอย่างหนึ่งได้มาจากการสังเกตว่าแถวของเมทริกซ์กำเนิดใดๆ ในรูปแบบมาตรฐานมีน้ำหนักไม่เกิน

ประวัติศาสตร์

โดยทั่วไปแล้ว การอ้างอิงผลลัพธ์นี้มักมาจากSingleton (1964)แต่ได้รับการพิสูจน์มาก่อนแล้วโดยJoshi (1958) Joshi ตั้งข้อสังเกตว่าผลลัพธ์นี้ได้รับการพิสูจน์มาก่อนแล้วโดยKomamiya (1953)โดยใช้วิธีการพิสูจน์ที่ซับซ้อนกว่าWelsh (1988 , หน้า 72) ก็ได้กล่าวถึงเรื่องเดียวกันนี้เกี่ยวกับKomamiya (1953)เช่น กัน

รหัส MDS

รหัสบล็อกเชิงเส้นที่บรรลุความเท่าเทียมกันในขอบเขตซิงเกิลตันเรียกว่ารหัส MDS (maximum distance separable)ตัวอย่างของรหัสดังกล่าว ได้แก่ รหัสที่มีเฉพาะคำรหัส (คำทั้งหมดสำหรับซึ่งมีระยะห่างต่ำสุด) รหัสที่ใช้ทั้งหมดของ(ระยะห่างต่ำสุด 1) รหัสที่มีสัญลักษณ์พาริตีเดียว (ระยะห่างต่ำสุด 2) และรหัสคู่ ของรหัสเหล่านั้น รหัส เหล่านี้มักเรียกว่ารหัส MDS แบบง่าย

ในกรณีของตัวอักษรไบนารี จะมีเพียงรหัส MDS แบบไม่ซับซ้อนเท่านั้น[ 5 ] [ 6 ]

ตัวอย่างของรหัส MDS ที่ไม่ธรรมดา ได้แก่รหัส Reed-Solomonและเวอร์ชันขยาย[ 7 ] [ 8 ]

รหัส MDS เป็นรหัสบล็อกประเภทสำคัญ เนื่องจากสำหรับค่าคงที่และ ค่าคง ที่ รหัสเหล่านี้มีความสามารถในการแก้ไขและตรวจจับข้อผิดพลาดได้ดีที่สุด มีหลายวิธีในการกำหนดลักษณะของรหัส MDS: [ 9 ]

ทฤษฎีบทให้เป็นรหัสเชิงเส้น [ ] บน สิ่งต่อไปนี้เทียบเท่ากัน:

  • เป็นรหัส MDS
  • คอลัมน์ ใดๆของเมทริกซ์กำเนิดสำหรับ นั้นเป็นอิสระเชิงเส้น
  • คอลัมน์ ใดๆของ เมท ริกซ์ตรวจสอบความเท่าเทียมกันจะเป็นอิสระเชิงเส้น
  • เป็นรหัส MDS
  • ถ้าเป็นเมทริกซ์กำเนิดสำหรับในรูปแบบมาตรฐาน เมทริกซ์ย่อยจัตุรัสทุกเมทริกซ์ของจะเป็น เมทริกซ์ ไม่เอกฐาน
  • เมื่อกำหนดตำแหน่งพิกัดใดๆ แล้ว จะมีรหัสคำ (ที่มีน้ำหนักน้อยที่สุด) ที่ครอบคลุมตำแหน่งเหล่านั้นอย่างแม่นยำ

ลักษณะสุดท้ายเหล่านี้อนุญาตให้ใช้เอกลักษณ์ของ MacWilliamsเพื่อสูตรที่ชัดเจนสำหรับการกระจายน้ำหนักที่สมบูรณ์ของรหัส MDS [ 10 ]

ทฤษฎีบทให้ เป็น รหัส MDS เชิงเส้น [ ] บน ถ้าแทนจำนวนคำรหัสในที่มีน้ำหนักแล้ว

ส่วนโค้งในเรขาคณิตเชิงฉาย

ความเป็นอิสระเชิงเส้นของคอลัมน์ของเมทริกซ์กำเนิดของรหัส MDS อนุญาตให้สร้างรหัส MDS จากวัตถุในเรขาคณิตเชิงโปรเจกทีฟจำกัด ให้เป็นปริภูมิเชิงโปรเจกทีฟ จำกัด ที่มีมิติ (เรขาคณิต) เหนือฟิลด์จำกัดให้เป็นเซตของจุดในปริภูมิเชิงโปรเจกทีฟนี้ซึ่งแสดงด้วยพิกัดเอกพันธุ์สร้างเมทริกซ์ที่มีคอลัมน์เป็นพิกัดเอกพันธุ์ของจุดเหล่านี้ จากนั้น[ 11 ]

ทฤษฎีบทเป็นส่วนโค้ง (เชิงพื้นที่) ก็ต่อเมื่อเป็นเมทริกซ์กำเนิดของรหัส MDS บน

ดูเพิ่มเติม

หมายเหตุ

  1. ^ Keedwell, A. Donald; Dénes, József (24 มกราคม 1991). ตารางละติน: พัฒนาการใหม่ในทฤษฎีและการประยุกต์ใช้ . อัมสเตอร์ดัม: Elsevier. หน้า 270. ISBN 0-444-88899-3.
  2. ^ Ling & Xing 2004 , หน้า 93
  3. ^โรมัน 1992หน้า 175
  4. ^เพลส 1998 , หน้า 26
  5. เวอร์มานี 1996 , ข้อเสนอที่ 9.2
  6. ^ Ling & Xing 2004 , หน้า 94 หมายเหตุ 5.4.7
  7. ^ MacWilliams & Sloane 1977 , บทที่ 11
  8. ^ Ling & Xing 2004 , หน้า 94
  9. ^โรมัน 1992 , หน้า 237, ทฤษฎีบท 5.3.7
  10. ^โรมัน 1992หน้า 240
  11. ^ Bruen, AA; Thas, JA; Blokhuis, A. (1988), "เกี่ยวกับรหัส MDS, ส่วนโค้งใน PG(n,q) โดยที่ q เป็นเลขคู่ และวิธีแก้ปัญหาพื้นฐานสามข้อของ B. Segre", Invent. Math. , 92 (3): 441– 459, Bibcode : 1988InMat..92..441B , doi : 10.1007/bf01393742 , S2CID 120077696 

อ่านเพิ่มเติม

  • JH van Lint (1992). บทนำสู่ทฤษฎีการเข้ารหัส . GTM .เล่มที่ 86 (ฉบับที่ 2). Springer-Verlag. หน้า  61. ISBN 3-540-54894-7.
  • Niederreiter, Harald ; Xing, Chaoping (2001). "6. การประยุกต์ใช้กับทฤษฎีการเข้ารหัสเชิงพีชคณิต" จุดตรรกยะบนเส้นโค้งเหนือฟิลด์จำกัด ทฤษฎีและการประยุกต์ใช้ชุดบันทึกการบรรยายของสมาคมคณิตศาสตร์แห่งลอนดอน เล่มที่ 285 เคมบริดจ์ : สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ISBN 0-521-66543-4. Zbl  0971.11033 .
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Singleton_bound&oldid=1294570121 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ มุ่งหน้าสู่ซิงเกิลตัน

ใน ทฤษฎีการเข้ารหัส ขอบเขต ของซิงเกิลตัน ซึ่งตั้งชื่อตามนักคณิตศาสตร์ชาวอเมริกัน ริชาร์ด คอลลอม ซิงเกิลตัน (ค.ศ.

คำแถลงเกี่ยวกับขอบเขต

ระยะห่างขั้นต่ำของชุดรหัสคำที่มีความยาวถูกกำหนดโดย โดยที่คือ ระยะห่างแฮม มิง ระหว่างและนิพจน์นี้แสดงถึงจำนวนรหัสคำสูงสุดที่เป็นไปได้ในรหัสบล็อกแบบ -ary ที่มีความยาวและระยะห่างขั้น ต่ำ ซี {\displaystyle C} n {\displaystyle n} ง = นาที { x , y ∈ ซี : x ≠ y } ง...

การพิสูจน์

ขั้นแรก สังเกตว่าจำนวนคำที่ลงท้ายด้วย -ary ที่มีความยาวเท่ากับ n คือn เนื่องจากตัวอักษรแต่ละตัวในคำดังกล่าวสามารถมีค่าได้หลายค่า โดยไม่ขึ้นอยู่กับตัวอักษรที่เหลืออยู่ q {\displaystyle q} n {\displaystyle n} q n {\displaystyle q^{n}} q {\displaystyle q}

รหัสเชิงเส้น

ถ้าเป็น รหัสเชิงเส้น ที่มีความยาวบล็อกมิติและระยะทางขั้นต่ำเหนือ ฟิลด์จำกัด ที่มีองค์ประกอบ จำนวนคำรหัสสูงสุดคือและขอบเขตซิงเกิลตันบ่งชี้ว่า: ดังนั้น ซึ่งมักจะเขียนเป็น [ 3 ] ซี {\displaystyle C} n {\displaystyle n} เค {\displaystyle k} ง {\displaystyle d} q...