
数学およびデジタル信号処理において、量子化とは、大きな集合(多くの場合、連続集合)からの入力値を、(可算な)より小さな集合(多くの場合、有限個の要素を持つ)の出力値にマッピングするプロセスです。 丸めと切り捨ては、量子化プロセスの典型的な例です。デジタル信号をデジタル形式で表現するプロセスには通常丸めが含まれるため、量子化はほぼすべてのデジタル信号処理に何らかの形で関わっています。また、量子化は、ほぼすべての非可逆圧縮アルゴリズムの中核を成しています。
入力値と量子化された値の差(丸め誤差など)は、量子化誤差、ノイズ、または歪みと呼ばれます。量子化を実行する装置またはアルゴリズム関数は、量子化器と呼ばれます。アナログ-デジタル変換器は、量子化器の一例です。
例えば、実数を丸める場合最も近い整数値に合わせることは、非常に基本的なタイプの量子化器、つまり均一量子化器を形成します。量子化ステップサイズが何らかの値に等しい典型的な(中間ステップの)均一量子化器次のように表現できます
表記法は床関数を表します。
あるいは、同じ量子化器は天井関数を用いて次のように表現することもできます。
(表記法)(天井関数を表す)。
量子化器の本質的な特性は、可能な出力値の集合が可能な入力値の集合よりも小さい可算集合であることです。出力値の集合の要素は、整数、有理数、または実数値をとることができます。最も近い整数への単純な丸めの場合、ステップサイズはは 1 に等しい。または他の任意の整数値と等しい場合、この量子化器は実数値の入力と整数値の出力を持ちます。
量子化ステップサイズ(Δ)が量子化される信号の変動に比べて小さい場合、このような丸め操作によって生じる平均二乗誤差は、おおよそ次のようになることが比較的簡単に示せる。[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ]平均二乗誤差は量子化ノイズ電力とも呼ばれます。量子化器に1ビット追加するとΔの値が半分になり、ノイズ電力は1/4倍になります。デシベルで表すと、ノイズ電力の変化は
量子化器の出力値の集合は可算であるため、任意の量子化器は2つの異なる段階に分解できます。これらは分類段階(または順方向量子化段階)と再構成段階(または逆方向量子化段階)と呼ばれ、分類段階では入力値が整数量子化インデックスにマッピングされます。そして再構築段階ではインデックスがマッピングされる再構成値へこれは入力値の出力近似値です。上記の例の均一量子化器の場合、順方向量子化段階は次のように表すことができます。
そしてこの例の量子化器の再構成段階は単純に
この分解は量子化動作の設計と解析に役立ち、量子化されたデータが通信チャネルを介してどのように伝達されるかを示します。ソースエンコーダは順方向量子化ステージを実行し、インデックス情報を通信チャネルを介して送信し、デコーダは再構成ステージを実行して元の入力データの出力近似を生成します。一般に、順方向量子化ステージでは、入力データを量子化インデックスデータの整数空間にマッピングする任意の関数を使用できます。逆方向量子化ステージは、概念的にも(あるいは文字通りにも)、各量子化インデックスを対応する再構成値にマッピングするテーブルルックアップ操作です。この2段階分解は、ベクトル量子化器とスカラー量子化器の両方に同様に適用できます。
量子化は多対少数のマッピングであるため、本質的に非線形かつ不可逆的なプロセスです(つまり、同じ出力値が複数の入力値で共有されるため、一般的に、出力値だけが与えられた場合、正確な入力値を復元することは不可能です)。
可能な入力値の集合は無限に大きい場合があり、連続的でしたがって非可算集合である可能性があります(すべての実数の集合、またはある限られた範囲内のすべての実数の集合など)。可能な出力値の集合は有限または可算無限である可能性があります。[ 6 ]量子化に関わる入力集合と出力集合は、かなり一般的な方法で定義できます。たとえば、ベクトル量子化は、多次元(ベクトル値)入力データへの量子化の適用です。[ 7 ]


アナログ-デジタル変換器(ADC)は、サンプリングと量子化という2つのプロセスとしてモデル化できます。サンプリングは、時間とともに変化する電圧信号を離散時間信号、つまり実数のシーケンスに変換します。量子化は、各実数を有限個の離散値からの近似値に置き換えます。これらの離散値は、一般的には固定小数点ワードとして表現されます。量子化レベルはいくつでも設定可能ですが、一般的なワード長は8ビット(256レベル)、16ビット(65,536レベル)、24ビット(1,680 万レベル)です。数値のシーケンスを量子化すると、量子化誤差のシーケンスが生成されます。この誤差は、確率的な挙動を示すため、量子化ノイズと呼ばれる加算的なランダム信号としてモデル化されることがあります。量子化器が使用するレベル数が多いほど、量子化ノイズのパワーは低くなります。
レート歪み最適化量子化は、通信チャネルまたは記憶媒体がサポートするビットレートの制限内で歪みを管理することを目的とした、非可逆データ圧縮アルゴリズムのソース符号化において用いられます。この文脈における量子化の分析には、量子化器の出力を表すために使用されるデータ量(通常は桁数、ビット数、またはビットレートで測定)の調査と、量子化プロセスによって生じる精度損失(歪みと呼ばれる)の調査が含まれます。
符号付き入力データ用のほとんどの均一量子化器は、ミッドライザーとミッドトレッドの 2 つのタイプに分類できます。この用語は、値 0 付近の領域で何が起こるかに基づいており、量子化器の入出力関数を階段と見なすアナロジーを使用しています。ミッドトレッド量子化器は、ゼロ値の再構成レベル (階段のトレッドに対応) を持ち、ミッドライザー量子化器は、ゼロ値の分類閾値 (階段のライザーに対応) を持ちます。 [ 9 ]
中間トレッドの量子化には丸め処理が含まれます。中間トレッドの均一量子化の式は、前のセクションで説明されています。
ミッドライザー量子化は切り捨てを伴う。ミッドライザー均一量子化器の入出力式は次のようになる。
ここで、分類ルールは次のように与えられる。
そして再構成ルールは
ミッドライザー均一量子化器は出力値がゼロにならないことに注意してください。最小出力値はステップサイズの半分です。一方、ミッドトレッド量子化器は出力レベルがゼロになります。アプリケーションによっては、出力信号をゼロで表現することが必要となる場合があります。
一般的に、ミッドライザーまたはミッドトレッド量子化器は、実際には均一量子化器ではない可能性があります。つまり、量子化器の分類間隔のサイズがすべて同じであるとは限らず、可能な出力値間の間隔がすべて同じであるとは限らない場合があります。ミッドライザー量子化器の特徴は、分類閾値が正確にゼロであることであり、ミッドトレッド量子化器の特徴は、再構成値が正確にゼロであることです。[ 9 ]
デッドゾーン量子化器は、0 を中心として対称的な動作をする中間ステップ量子化器の一種です。このような量子化器のゼロ出力値周辺の領域は、デッドゾーンまたはデッドバンドと呼ばれます。デッドゾーンは、ノイズゲートやスケルチ機能と同様の役割を果たすことがあります。特に圧縮アプリケーションでは、デッドゾーンの幅を他のステップの幅とは異なる値に設定することがあります。それ以外の点では均一な量子化器の場合、デッドゾーンの幅は任意の値に設定できます。前方量子化ルール[ 10 ] [ 11 ] [ 12 ]を使用することにより
関数( )は符号関数(符号関数とも呼ばれる)である。このようなデッドゾーン量子化器の一般的な再構成規則は次のように与えられる。
どこは、ステップサイズの分数として0から1の範囲の再構成オフセット値です。通常、入力データを、ゼロを中心に対称でゼロでピーク値に達する典型的な確率密度関数(PDF)(ガウス分布、ラプラシアン分布、または一般化ガウス分布など)で量子化する場合。依存する可能性がある一般的に、そして以下に説明する最適性条件を満たすように選択できますが、多くの場合、単に定数に設定されます。(この定義では、定義により( )関数なので、効果はありません。)
非常によく使われる特殊なケース(例えば、財務会計や初等数学で一般的に使われる方式)は、そしてすべての人々のためにこの場合、デッドゾーン量子化器は均一量子化器でもあります。なぜなら、この量子化器の中央のデッドゾーンは他のすべてのステップと同じ幅を持ち、すべての再構成値も等間隔になっているからです。
量子化誤差の解析における一般的な仮定は、信号処理システムに加法性白色雑音と同様の影響を与えるというものである。つまり、信号との相関が無視できるほど小さく、パワースペクトル密度がほぼ平坦であるという仮定である。[ 2 ] [ 6 ] [ 13 ] [ 14 ]加法性雑音モデルは、デジタルフィルタリングシステムにおける量子化誤差の影響の解析によく用いられ、このような解析において非常に有用である。高解像度量子化(小さな)の場合、このモデルが妥当であることが示されている。信号強度に比例して)滑らかなPDFを持つ。[ 2 ] [ 15 ]
加算ノイズの挙動は、常に有効な仮定ではありません。量子化誤差(ここで説明するように定義された量子化器の場合)は、信号と決定論的に関連しており、信号から完全に独立しているわけではありません。したがって、周期的な信号は周期的な量子化ノイズを生成する可能性があります。また、場合によっては、デジタル信号処理システムでリミットサイクルが発生する原因となることもあります。量子化誤差をソース信号から効果的に独立させる方法の1つは、ディザリング量子化(ノイズシェーピングを伴う場合もあります)を実行することです。これは、量子化の前に信号にランダム(または擬似ランダム)ノイズを加えるものです。 [ 6 ] [ 14 ]
典型的なケースでは、元の信号は最下位ビット(LSB) よりもはるかに大きい。この場合、量子化誤差は信号と有意な相関がなく、ほぼ一様分布となる。丸めを用いて量子化する場合、量子化誤差の平均はゼロとなり、二乗平均平方根(RMS) 値はこの分布の標準偏差となる。切り捨てを使用する場合、誤差の平均値はゼロではない。そしてRMS値は丸めは切り捨てよりも RMS 誤差が小さくなるが、その差は静的 (DC) 項によるものである。AC誤差のRMS値はどちらの場合もまったく同じなので、誤差のDC項を無視できる状況(AC結合システムなど)では、丸めと切り捨ての特別な利点はありません。どちらの場合も、標準偏差は、量子化ビット数が1ビット変化するごとに、信号範囲全体に対する割合として2倍に変化します。したがって、信号対量子化雑音電力比は4倍、または 1ビットあたり約6dB 。
振幅が小さい場合、量子化誤差は入力信号に依存するようになり、歪みが生じます。この歪みはアンチエイリアシングフィルタの後に発生し、歪みがサンプリングレートの1/2を超えると、目的の帯域にエイリアシングが発生します。量子化誤差を入力信号から独立させるために、信号にノイズを加えることでディザリングを行います。これにより信号対雑音比はわずかに低下しますが、歪みを完全に除去することができます。

量子化ノイズは、 ADCにおける量子化によって生じる量子化誤差のモデルです。これは、ADCへのアナログ入力電圧と出力されるデジタル値との間の丸め誤差です。このノイズは非線形であり、信号に依存します。いくつかの異なる方法でモデル化することができます。
理想的なADCでは、量子化誤差が-1/2 LSBから+1/2 LSBの間で均一に分布し、信号がすべての量子化レベルをカバーする均一分布を持つ場合、信号対量子化雑音比(SQNR)は次のように計算できます。
ここで、Qは量子化ビット数である。
この条件を満たす最も一般的なテスト信号は、振幅が完全な三角波とノコギリ波です。
例えば、16ビットADCの最大信号対量子化雑音比は6.02 × 16 = 96.3 dBです。
入力信号が全振幅の正弦波の場合、信号の分布はもはや均一ではなく、対応する方程式は代わりに次のようになります。
ここでは、量子化ノイズは再び均一に分布していると仮定します。入力信号の振幅が大きく、周波数スペクトルが広い場合、このようになります。[ 16 ] この場合、16ビットADCの最大信号対雑音比は98.09 dBです。信号対雑音比の1.761の差は、信号が三角波や鋸歯状波ではなく、フルスケールの正弦波であることによってのみ発生します。
高解像度ADCの複雑な信号の場合、これは正確なモデルです。低解像度ADC、高解像度ADCの低レベル信号、および単純な波形の場合、量子化ノイズは均一に分布しないため、このモデルは不正確になります。[ 17 ]これらの場合、量子化ノイズの分布は信号の正確な振幅に大きく影響されます。
計算はフルスケール入力を基準としています。信号が小さい場合、相対的な量子化歪みは非常に大きくなる可能性があります。この問題を回避するためにアナログ圧縮を用いることができますが、これによって歪みが生じる可能性があります。
量子化器の設計では、多くの場合、可能な出力値の範囲を限定し、入力がサポート範囲を超えた場合にクリッピングを実行して出力をこの範囲に制限します。このクリッピングによって生じる誤差は、過負荷歪みと呼ばれます。サポート範囲の極限内では、量子化器の選択可能な出力値間の間隔は粒度と呼ばれ、この間隔によって生じる誤差は粒度歪みと呼ばれます。量子化器の設計では、粒度歪みと過負荷歪みの適切なバランスを決定することが一般的です。サポート可能な出力値の数が決まっている場合、平均粒度歪みを減らすと平均過負荷歪みが増加する可能性があり、その逆もまた然りです。信号の振幅(または同等に、量子化ステップサイズ)を制御する手法適切なバランスを実現するには、自動利得制御(AGC)を使用する方法があります。ただし、一部の量子化器設計では、粒度誤差と過負荷誤差の概念が適用されない場合があります(たとえば、入力データの範囲が限られている量子化器や、選択可能な出力値が可算無限集合である場合など)。[ 6 ]
量子化演算を実行するスカラー量子化器は、通常、2つの段階に分解できます。
これら2つの段階を合わせると、数学演算は次のようになる。。
エントロピー符号化技術は、分類段階を実行するソースエンコーダから再構成段階を実行するデコーダへ量子化インデックスを伝達するために適用できる。その方法の一つは、各量子化インデックスを関連付けることである。バイナリコードワード付き重要な考慮事項は、各コードワードに使用されるビット数であり、ここではで表されます。その結果、レベル量子化器と、そのインデックス値を伝達するための関連するコードワードセットでは、以下の値を見つける必要があります。、そしてビットレートなどの選択された設計制約を最適に満たす歪み。
情報源を仮定するとランダム変数を生成する関連するPDFファイル付き確率確率変数が特定の量子化区間内に収まる次のように与えられます。
結果として得られるビットレートこの量子化器の場合、量子化値あたりの平均ビット数を単位として、以下のように導出できます。
歪みが平均二乗誤差で測定されると仮定すると、[ a ]歪みDは次のように表されます。
重要な観察は、決定境界に依存するそして符号語の長さ歪みは決定境界に依存するおよび再建レベル。
量子化器の性能指標を2つ定義した後、量子化器設計問題に対する典型的なレート歪み定式化は、次の2つの方法のいずれかで表現できます。
多くの場合、これらの問題の解は、定式化を制約のない問題に変換することによって、同等(または近似的)に表現および解決できます。ラグランジュ乗数は、レートと歪みの適切なバランスを確立する非負定数です。制約のない問題を解くことは、問題の同等の制約付き定式化に対する解の族の凸包上の点を見つけることと同等です。ただし、これら 3 つの問題定式化のいずれかに対する解、特に閉形式の解を見つけることは困難です。多次元反復最適化手法を必要としない解は、一様分布、[ 18 ]指数分布、[ 12 ]およびラプラシアン分布[ 12 ]の 3 つの PDF についてのみ公開されています。反復最適化アプローチは、他のケースで解を見つけるために使用できます。[ 6 ] [ 19 ] [ 20 ]
再構成値に注意してください歪みのみに影響し、ビットレートには影響しません。別途寄付を行う全体歪みは以下の図に示すとおりです。
どこ
この観察は、以下のセットが与えられた場合、分析を容易にするために使用できます。値、それぞれの値歪みへの影響を最小限に抑えるために個別に最適化することができる。
平均二乗誤差歪み基準の場合、最適な再構成値のセットは容易に示せる。再構成値を設定することで得られる。各区間内で区間内の条件付き期待値(重心とも呼ばれる)は、次のように表される。
十分に適切に設計されたエントロピー符号化技術を使用することで、インデックスの真の情報量に近いビットレートを使用できる可能性がある。実質的に
そのため
この近似を用いることで、エントロピー符号化設計問題を量子化器自体の設計から分離することが可能になる。算術符号化などの最新のエントロピー符号化技術は、既知の(または適応的に推定された)確率のセットが与えられた場合、ソースの真のエントロピーに非常に近いビットレートを実現できる。。
一部の設計では、特定の分類領域数を最適化するのではなく、量子化器の設計問題には、以下の値の最適化が含まれる可能性がある。同様に。一部の確率的ソースモデルでは、最高のパフォーマンスは次のような場合に達成される可能性があります。無限大に近づく。
上記の定式化において、ビットレート制約を無視して0 に等しい、または、量子化データを可変長コードではなく固定長コード (FLC) を使用して表現すると仮定した場合(または、レート歪みの意味で FLC よりも優れた算術符号化などの他のエントロピー符号化技術を使用した場合)、最適化問題は歪みの最小化に帰着する。一人で。
生成されたインデックス-レベル量子化器は、固定長コードを使用して符号化できます。ビット/シンボル。たとえば、256レベル、FLCビットレート1シンボルあたり8ビットです。そのため、このような量子化器は8ビット量子化器と呼ばれることもあります。しかし、FLCを使用すると、より優れたエントロピー符号化によって得られる圧縮率の向上効果が失われます。
FLCを仮定するとレベルによっては、レート歪み最小化問題は歪み最小化問題のみに帰着させることができます。帰着された問題は次のように表すことができます。PDF付き量子化器は、分類領域、決定境界を見つけるおよび再建レベル結果として生じる歪みを最小限に抑える
上記の問題に対する最適な解を見つけると、MMSQE(最小平均二乗量子化誤差)解と呼ばれる量子化器が得られ、結果として得られるPDF最適化(非一様)量子化器は、ロイド・マックス量子化器と呼ばれ、独立して反復法[ 6 ] [ 21 ] [ 22 ]を開発した2人の人物にちなんで名付けられました。そして、 次のように:
これにより、各閾値は各再構成値のペアの中間点に配置され、
これにより、各再構成値は、それに関連付けられた分類区間の重心(条件付き期待値)に配置されます。
1957年に最初に記述されたロイドの方法Iアルゴリズムは、ベクトルデータへの適用に向けて簡単に一般化できます。この一般化により、リンデ・ブゾ・グレイ(LBG)またはk平均法分類器最適化法が得られます。さらに、この手法は、ベクトルデータに対するエントロピー制約を含めるように簡単に一般化することもできます。[ 23 ]
ロイド・マックス量子化器は、入力PDFが範囲全体に一様に分布している場合、実際には一様量子化器である。しかし、一様分布を持たない信号源の場合、最小歪み量子化器は一様量子化器にならない可能性があります。一様分布信号源に一様量子化器を適用した場合の解析は、以下のように要約できます。
対称的なソースXは次のようにモデル化できます。、 のためにそれ以外の場所では0。ステップサイズ量子化器の信号対量子化雑音比(SQNR)は
固定長コードを使用する場合ビット、、 その結果 、
または ビットあたり約6dB。例えば、=8ビット、=256レベル、SQNR = 8×6 = 48 dB。=16ビット、=65536、SQNR = 16×6 = 96 dB。量子化に使用される追加ビットごとにSQNRが6 dB改善するという特性は 、よく知られた性能指標です。ただし、この指標は注意深く使用する必要があります。この導出は、均一なソースに適用される均一な量子化器のみを対象としています。他のソースPDFや他の量子化器設計の場合、SQNRは PDFの種類、ソースの種類、量子化器の種類、および動作ビットレート範囲に応じて、6 dB/ビットで予測される値とは多少異なる場合があります。
しかし、多くのソースでは、十分高いビットレートで動作している場合、量子化器のSQNR関数の傾きは6 dB/ビットと近似できると想定するのが一般的です。漸近的に高いビットレートでは、ステップサイズを半分にすると、ビットレートがサンプルあたり約1ビット増加し(値が前の2倍のサイズの間隔の左半分か右半分かを示すために1ビット必要になるため)、平均二乗誤差は4分の1(つまり6 dB)減少します。近似値。
漸近的に高いビットレートでは、多くのソース PDF に対して 6 dB/bit 近似が厳密な理論解析によって支持されています。[ 2 ] [ 3 ] [ 5 ] [ 6 ]さらに、最適なスカラー量子化器の構造 (レート歪みの意味で) は、これらの条件下では均一量子化器の構造に近づきます。[ 5 ] [ 6 ]
多くの物理量は、実際には物理的な実体によって量子化されています。この制約が適用される分野の例としては、電子工学(電子による)、光学(光子による)、生物学( DNAによる)、物理学(プランク限界による)、化学(分子による)などが挙げられます。