ゴレイ符号について
ゴレイ
符号(Golay code)は、誤り訂正のために設計された特別な
符号で、数学的な理論に基づいています。特に、デジタル通信の世界では非常に重要な役割を果たしています。ゴレイ
符号の名前は、スイスの数学者マルセル・J・E・ゴレイにちなんで名付けられました。
2元ゴレイ符号
2元ゴレイ
符号は、通信における誤り訂正のために設計された
符号の一種で、特にデジタルデータの送信に利用されます。この
符号には2つのタイプがあり、それぞれ異なる特性を持っています。
1.
拡張2元ゴレイ符号(Extended Binary Golay Code): これは12ビットのデータを24ビットの
符号語に
符号化し、最大で3ビットの誤りを修正する能力を持っています。また、4ビットの誤りを検出することも可能です。
2.
完全2元ゴレイ符号(Perfect Binary Golay Code): この
符号は
符号語の長さが23ビットで、拡張の
符号から特定の1ビットを除いたものとして定義されます。この
符号に
パリティビットを追加したものが拡張2元ゴレイ
符号になります。
それぞれの
符号のパラメータは、[24, 12, 8] と [23, 12, 7] で表されます。ここで、最初の数字は
符号語の長さ、次がデータの長さ、最後が誤り訂正の能力を示しています。
数学的定義
拡張2元ゴレイ
符号は、24ビットの空間から12次の部分空間を形成します。この部分空間内の任意の2つの元は、少なくとも8箇所の位置で異なります。これにより、
符号語の集合は幾何学的に特別な性質を持つことになります。また、すべての
符号語は
ハミング重みが0, 8, 12, 16, 24のいずれかであることが求められます。
完璧な
符号である完全2元ゴレイ
符号は、
符号を中心に半径3の球が空間を完全にカバーする特性を持つため、非常に効率的です。この
符号の自己同型群は特に重要な数学的対象で、マシュー群と呼ばれています。
構築方法
2元ゴレイ
符号は複数の方法で構築されます。
- - 辞書式符号では、24ビットの整数として考えられるベクトルを辞書式順序で並べ替え、特定の条件に沿った元を選択することで符号語を生成します。
- - 平方剰余符号では、平方非剰余の集合を基に符号語を構築します。
- - 巡回符号は、式の因数分解を通じて生成される符号です。
また、拡張2元ゴレイ
符号には、特定の数学ゲームや構成方法を用いた生成技術もあります。
3元ゴレイ符号
3元ゴレイ
符号は、通常は完全 (11, 6, 5) 3元線型
符号を指します。これに対し、拡張3元ゴレイ
符号は、(12, 6, 6) 線型
符号であり、ゼロサムの
チェックディジットを追加したものです。
完全3元ゴレイ
符号も有限体に基づいて構築でき、拡張3元ゴレイ
符号の自己同型群は、マシュー群に関連があります。
ゴレイ符号の応用
ゴレイ
符号は、特にNASAの宇宙探査プロジェクトにおいて実際に利用されています。例えば、
ボイジャー計画では、複数のカラー画像を通信する際に、限られた帯域幅を活用するためにゴレイ
符号が選ばれました。
さらに、
短波帯の自動リンク確立に関する最近の規格では、拡張2元ゴレイ
符号が採用されています。これにより、誤り訂正の能力を効率的に活用し、効果的な通信が実現されています。
結論
ゴレイ
符号は、数学的理論に基づき、高効率な誤り訂正を実現するために設計された重要な技術です。さまざまな構造と応用により、デジタル通信の分野で広く利用され続けています。