Chặn Gilbert–Varshamov

Trong lý thuyết mã hóa, chặn Gilbert–Varshamov (chứng minh bởi Edgar Gilbert và một cách độc lập bởi Rom Varshamov) là một giới hạn của các tham số của một mã (không nhất thiết tuyến tính). Nó còn được gọi là chặn Gilbert–Shannon–Varshamov (hay chặn GSV), nhưng tên gọi "chặn Gilbert–Varshamov" là phổ biến nhất. Varshamov chứng minh kết quả này bằng phương pháp xác suất. Xem thêm về chứng minh này ở chặn Gilbert–Varshamov cho mã tuyến tính. Đặt A q ( n , d ) {\displaystyle A_{q}(n,d)} là số lớn nhất các mã tự của mã C {\displaystyle C} trên bảng chữ cái kích thước q, độ dài n và khoảng cách nhỏ nhất d (có thể coi bảng chữ cái là trường F q {\displaystyle \mathbb {F} _{q}} gồm có q phần tử). Khi đó: A q ( n , d ) ≥ q n ∑ j = 0 d − 1 ( n j ) ( q − 1 ) j . {\displaystyle A_{q}(n,d)\geq {\frac {q^{n}}{\sum _{j=0}^{d-1}{\binom {n}{j}}(q-1)^{j}}}.} Đặt C {\displaystyle C} là một mã độ dài n {\displaystyle n} , khoảng cách Hamming nhỏ nhất d {\displaystyle d} với kích thước cực đại: | C | = A q ( n , d ) . {\displaystyle |C|=A_{q}(n,d).\,} Khi đó với mọi x ∈ F q n {\displaystyle x\in \mathbb {F} _{q}^{n}}  , tồn tại một mã tự c x ∈ C {\displaystyle c_{x}\in C} sao cho khoảng cách Hamming d ( x , c x ) {\displaystyle d(x,c_{x})} giữa x {\displaystyle x} và c x {\displaystyle c_{x}} thỏa mãn d ( x , c x ) ≤ d − 1 {\displaystyle d(x,c_{x})\leq d-1} vì nếu không ta có thể thêm x vào tập hợp các mã tự mà vẫn duy trì khoảng cách nhỏ nhất d – mâu thuẫn với giả thiết về tính cực đại của | C | {\displaystyle |C|} . Do đó F q n {\displaystyle \mathbb {F} _{q}^{n}} được phủ bởi hợp của các hình cầu bán kính d − 1 với tâm ở các điểm c ∈ C {\displaystyle c\in C} : F q n = ∪ c ∈ C B ( c , d − 1 ) . {\displaystyle \mathbb {F} _{q}^{n}=\cup _{c\in C}B(c,d-1).\,} Mỗi hình cầu có chứa ∑ j = 0 d − 1 ( n j ) ( q − 1 ) j {\displaystyle \sum _{j=0}^{d-1}{\binom {n}{j}}(q-1)^{j}} điểm vì có thể chọn thay đổi không quá d − 1 {\displaystyle d-1} trong số n {\displaystyle n} vị trí của mã tự (so với giá trị ở tâm hình cầu) và mỗi lần thay đổi có thể lựa chọn một trong q-1 giá trị mới. Do đó | F q n | = | ∪ c ∈ C B ( c , d − 1 ) | ≤ ∑ c ∈ C | B ( c , d − 1 ) | = | C | ∑ j = 0 d − 1 ( n j ) ( q − 1 ) j {\displaystyle {\begin{aligned}|\mathbb {F} _{q}^{n}|&=|\cup _{c\in C}B(c,d-1)|\\\\&\leq \sum _{c\in C}|B(c,d-1)|\\\\&=|C|\sum _{j=0}^{d-1}{\binom {n}{j}}(q-1)^{j}\\\\\end{aligned}}} Nghĩa là: A q ( n , d ) ≥ q n ∑ j = 0 d − 1 ( n j ) ( q − 1 ) j {\displaystyle A_{q}(n,d)\geq {\frac {q^{n}}{\sum _{j=0}^{d-1}{\binom {n}{j}}(q-1)^{j}}}} (Ở đây ta sử dụng tính chất: | F q n | = q n {\displaystyle |\mathbb {F} _{q}^{n}|=q^{n}} ). Khi q là lũy thừa số nguyên tố, có thể chứng minh chặn chặt hơn A q ( n , d ) ≥ q k {\displaystyle A_{q}(n,d)\geq q^{k}} trong đó k là số nguyên lớn nhất thỏa mãn q k < q n ∑ j = 0 d − 2 ( n − 1 j ) ( q − 1 ) j . {\displaystyle q^{k}<{\frac {q^{n}}{\sum _{j=0}^{d-2}{\binom {n-1}{j}}(q-1)^{j}}}.} Chặn Singleton Chặn Hamming Chặn Johnson Chặn Plotkin Chặn Griesmer Chặn Grey–Rankin Chặn Gilbert–Varshamov cho mã tuyến tính Chặn Elias-Bassalygo ^ Gilbert, E. N. (1952), “A comparison of signalling alphabets”, Bell System Technical Journal, 31: 504–522 ^ Varshamov, R. R. (1957), “Estimate of the number of signals in error correcting codes”, Dokl. Acad. Nauk SSSR, 117: 739–741.