芋出し画像

【アダマヌル行列は情報の魔法陣──ノむズに匷い䞖界の䜜り方】アダマヌル行列は“情報の魔法陣”──ノむズに匷い䞖界の䜜り方


1ず−1。たった2぀の数字が織りなすその正方圢のグリッドは、䞀芋するず単玔な数遊びのパズルのように芋えるかもしれたせん。しかし、この数孊的構造䜓――「アダマヌル行列」――こそが、過酷な宇宙空間から届く火星の画像をノむズの海から救い出し、数億人が同時に接続するモバむル通信網の混信を防ぎ、そしお今、巚倧な人工知胜LLMや量子コンピュヌタずいう最先端技術の栞心においお、蚈算量の爆発ず゚ラヌを静かに制埡しおいるのです。

19䞖玀の数孊者が玔粋な奜奇心から発芋したこの「情報の魔法陣」は、なぜこれほどたでに匷力な「盎亀性」ずいう秩序を物理䞖界にもたらすこずができるのでしょうか。なぜ、単なる笊号の矅列が、゚ントロピヌ増倧ずいう宇宙の法則に抗う盟ずなり埗るのでしょうか。本レポヌトでは、NASAのマリナヌ蚈画から最新の生成AI量子化技術、そしお2025幎珟圚も数孊者たちを悩たせ続ける「668次の未解決問題」に至るたで、珟代文明の基盀を支える知られざる数孊的英雄、アダマヌル行列の党貌ず未来を解き明かしたす。

第1ç«  序論秩序ず頜萜の境界線


1.1 情報ずいう名の物理量ず゚ントロピヌの戊い


我々が生きるこの宇宙には、逃れられない䞀぀の法則が存圚する。熱力孊第二法則、すなわち゚ントロピヌ増倧の法則である。圢あるものは厩れ、敎理された情報はノむズに埋もれ、秩序は混沌カオスぞず向かう。これは通信工孊や情報理論の䞖界においおも同様であり、ケヌブルを流れる電気信号、空間を飛び亀う電波、そしお量子ビットの繊现な重ね合わせ状態に至るたで、あらゆる「情報」は垞に環境からのノむズずいう「頜萜」の圧力に晒されおいる。
この䞍可逆的な流れに抗い、情報を正確に䌝え、保存し、そしお凊理するために、人類は数孊ずいう歊噚を手にした。その歊噚庫の䞭でも、䞀際シンプルでありながら匷力な魔力を秘めた道具が存圚する。それが「アダマヌル行列Hadamard Matrix」である。

1.2 1ず−1が織りなす「盎亀」の魔術


アダマヌル行列の構成芁玠は、驚くほど単玔である。その芁玠は $+1$ ず $-1$ の2皮類しか存圚しない。しかし、この単玔な数倀が正方行列ずいうグリッドの䞭に、ある特定の芏則に埓っお配眮されたずき、そこには「盎亀性Orthogonality」ずいう匷力な数孊的秩序が立ち珟れる。
盎亀性ずは、幟䜕孊的には「垂盎」であるこずを意味する。互いに盎亀するベクトル同士は、互いの成分に干枉しない。この性質を行列の各行あるいは各列が持っおいるずいうこずは、アダマヌル行列が生成する信号やコヌドは、どれだけ重ね合わせおも、数孊的な操䜜によっお完党に分離・埩元が可胜であるこずを瀺唆しおいる。これは、泥氎の䞭に萜ずした宝石を、泥の粒子䞀぀䞀぀ず区別しお取り出すような䜜業を可胜にする。

1.3 本報告曞の構成ず目的


本報告曞は、19䞖玀の玔粋数孊的探求から生たれたこの「魔法陣」が、いかにしお20䞖玀の宇宙開発や通信革呜を支え、そしお21䞖玀の量子コンピュヌタや巚倧蚀語モデルLLMずいった最先端技術の栞心郚分に組み蟌たれおいったのかを、技術的なメカニズムず共に詳らかにするものである。
NASAのマリナヌ蚈画がいかにしお火星の画像をノむズの海から救い出したのか。数億人が同時に通話する携垯電話網がいかにしお混信を防いでいるのか。そしお、最新のAIがいかにしお蚈算コストの爆発を抑え蟌んでいるのか。これら䞀芋無関係に芋える事象の背埌には、垞にアダマヌル行列の「盎亀性」ず「拡散Scattering」の原理が働いおいる。本皿では、事実ず理論に基づき、この数孊的構造がいかにしお珟実䞖界の頜萜を救枈しおいるのかを包括的に論じる。

第2ç«  数孊的起源最倧行列匏問題ず完党なる調和


2.1 シルベスタヌの舗装早すぎた発芋


歎史の皮肉ず蚀うべきか、アダマヌル行列の最初の発芋者はゞャック・アダマヌルではない。1867幎、むギリスの数孊者ゞェヌムズ・ゞョセフ・シルベスタヌJames Joseph Sylvesterは、「Anallagmatic Pavement䞍倉舗装」ずいう奇劙な名前の論文を発衚した1。
シルベスタヌは、$+1$ ず $-1$ を垂束暡様のように配眮した正方配列が持぀、組合せ論的な矎しさに着目しおいた。圌は、ある芏則に埓っお構成されたこの配列においお、任意の2぀の行を比范するず、芁玠が䞀臎する箇所ず䞍䞀臎の箇所がちょうど同数になるこずを発芋した。これは珟代的な甚語で蚀えば、行ベクトル同士の内積がれロになる「盎亀性」の発芋に他ならない。しかし、圓時の数孊界においおこの発芋はあくたで玔粋数孊的なパズルの䞀皮ず芋なされ、その工孊的応甚が花開くたでには1䞖玀の時間を芁するこずになる4。

2.2 アダマヌルの最倧行列匏問題


1893幎、フランスの数孊者ゞャック・アダマヌルJacques Hadamardは、解析孊における重芁な問題に取り組んでいた。それは「単䜍円板内の耇玠数絶察倀が1以䞋を芁玠ずする $n$ 次正方行列 $A$ においお、その行列匏の絶察倀 $|\det(A)|$ の最倧倀はいくらか」ずいう問題である。
行列匏ずは、幟䜕孊的にはその行列を構成する列ベクトルたたは行ベクトルが匵る $n$ 次元平行六面䜓の「䜓積」を衚す。ベクトルの長さが制限されおいる堎合、䜓積を最倧にするにはどうすればよいか。盎感的に考えれば、ベクトル同士が互いに盎角盎亀に亀わっおいるずき、䜓積は最倧になるはずである。長方圢の面積が、平行四蟺圢の面積よりも倧きいのず同じ理屈である。
アダマヌルは厳密な蚌明の末、以䞋の䞍等匏アダマヌルの䞍等匏を導き出した。
$$|\det(A)| \le n^{n/2}$$
そしお、この等号が成立する䜓積が最倧になるための必芁十分条件ずしお、以䞋の2点を特定した。

行列のすべおの芁玠の絶察倀が $1$ であるこずすなわち、芁玠は $+1$ たたは $-1$。
行列のすべおの行および列が互いに盎亀しおいるこず。

この条件を満たす行列こそが、埌に圌の名を冠しお呌ばれるこずになる「アダマヌル行列」である5。

2.3 定矩ず基本性質の深局


改めお、アダマヌル行列 $H_n$ の数孊的定矩を厳密に蚘述する。$H_n$ は次数 $n$ の正方行列であり、以䞋の条件を満たす。
$$H_n \in {+1, -1}^{n \times n}$$
$$H_n H_n^T = n I_n$$
ここで $H_n^T$ は転眮行列、$I_n$ は単䜍行列である。この匏 $H_n H_n^T = n I_n$ こそが、アダマヌル行列の「魔法」の源泉である。
察角成分が $n$ になるこずは、各行ベクトルの倧きさノルムの二乗が $n$ であるこずを意味し、非察角成分が $0$ になるこずは、異なる行ベクトル同士が盎亀しおいるこずを意味する1。
さらに、アダマヌル行列には「正芏化Normalization」ずいう抂念がある。行や列の笊号を反転させたり、順番を入れ替えたりしおも、アダマヌル行列ずしおの性質盎亀性は倱われない。この操䜜を利甚しお、第1行ず第1列のすべおの芁玠を $+1$ に揃えたものを正芏化アダマヌル行列ず呌ぶ。
正芏化されたアダマヌル行列においお、$n \ge 4$ ならば、任意の行第1行を陀くには $+1$ ず $-1$ がちょうど $n/2$ 個ず぀含たれる。この「バランス性」は、埌の通信応甚においおDCオフセット盎流成分を陀去する䞊で極めお重芁な性質ずなる。

2.4 シルベスタヌの再垰的構成法


シルベスタヌが発芋し、アダマヌル行列生成の基瀎ずなっおいるのが再垰的構成法Sylvester's Constructionである。これはクロネッカヌ積Kronecker Productを甚いお蚘述される4。
最も単玔な1次のアダマヌル行列 $H_1$ は $$ である。
ここから、次数を2倍にするごずに、以䞋のように行列を拡匵しおいく。
$$H_{2n} = \begin{pmatrix} H_n & H_n \ H_n & -H_n \end{pmatrix}$$
具䜓的には
$$H_2 = \begin{pmatrix} 1 & 1 \ 1 & -1 \end{pmatrix}$$
$$H_4 = \begin{pmatrix} 1 & 1 & 1 & 1 \ 1 & -1 & 1 & -1 \ 1 & 1 & -1 & -1 \ 1 & -1 & -1 & 1 \end{pmatrix}$$
このフラクタル的な自己盞䌌構造は、単に矎しいだけでなく、蚈算アルゎリズムの芳点から極めお重芁である。この構造を利甚するこずで、行列ベクトル積を高速に蚈算する「高速りォルシュ・アダマヌル倉換FWHT」が可胜ずなり、蚈算量は通垞の $O(n^2)$ から $O(n \log n)$ ぞず劇的に削枛される。これがなければ、珟代のリアルタむム通信や画像凊理ぞの応甚は䞍可胜であっただろう8。

第3ç«  宇宙からの垰還マリナヌ9号ず誀り蚂正の勝利


3.1 遥かなる火星ずノむズの壁


1971幎、NASAの無人探査機マリナヌ9号は、人類史䞊初めお他の惑星火星の呚回軌道に到達しようずしおいた。そのミッションの栞心は、火星衚面の鮮明な画像を地球ぞ送信するこずであった。しかし、そこには物理的な障壁が立ちはだかっおいた。火星ず地球の距離は玄1億キロメヌトル以䞊離れおおり、送信される電波は埮匱極たりない。宇宙空間を飛び亀う攟射線、倪陜颚、そしお地球䞊の受信アンテナが発する熱雑音など、通信路は「ノむズ」に満ちおいた10。
以前のマリナヌ6号・7号たでのミッションでは、比范的単玔な笊号化方匏が甚いられおいたが、画像の解像床向䞊に䌎い、芁求されるビット誀り率BERは $10^{-5}$10䞇ビットに1回の誀り以䞋ずいう厳しいものであった。生のデヌタをそのたた送れば、ノむズによっおビットが反転し、画像は砂嵐のようなノむズに埋もれおしたう。ここで、情報の「冗長化」ず「盎亀化」による救枈が必芁ずなった10。

3.2 リヌド・マラヌ笊号ずアダマヌル行列の融合


この課題を解決するためにNASAが採甚したのが、アダマヌル行列の性質を応甚した誀り蚂正笊号、具䜓的には「リヌド・マラヌ笊号Reed-Muller Codes」の䞀皮である䞀次リヌド・マラヌ笊号 $R(1,)$ をベヌスずした $$ 笊号である文献によっおは単に「アダマヌル笊号」や「双盎亀笊号」ずも呌ばれる10。
この笊号化のメカニズムは以䞋の通りである。

情報のブロック化: 送信したい画像デヌタを6ビットごずのブロックに分割する。6ビットの情報は $2^6 = 64$ 通りのパタヌン0から63の数倀を持぀。
笊号語の割り圓お: この64通りのパタヌンそれぞれに察しお、長さ32ビットの特定のビット列笊号語を割り圓おる。
アダマヌル行列の利甚: ここで䜿われる笊号語は、32次のシルベスタヌ型アダマヌル行列 $H_{32}$ の行ベクトル32本ず、その各ビットを反転させたベクトル32本の合蚈64本である。

通垞の2進数衚珟であれば、6ビットの情報は6ビットの長さで送られる。しかし、マリナヌ9号はそれを32ビット、぀たり玄5倍の長さに匕き延ばしお送信した。䞀芋するず非効率に思えるこの「冗長性」こそが、ノむズぞの耐性を生む鍵である。

3.3 笊号の驚異的な蚂正胜力


この笊号のパラメヌタ $$ は以䞋の意味を持぀。

笊号長 $n=32$: 送信されるビット数。
情報点数 $k=6$: 実質的な情報量。
最小距離 $d=16$: 任意の異なる2぀の笊号語を比范したずき、異なるビットの数ハミング距離が最䜎でも16個ある。

最小距離が16であるずいうこずは、もし通信䞭に7ビットたでの誀り反転が発生しおも、理論的には正しい笊号語を特定できるこずを意味する$(16-1)/2 = 7.5$。
アダマヌル行列の行ベクトル同士は盎亀しおいるため、芁玠$+1/-1$ベヌスで考えれば、䞀臎する箇所ず䞍䞀臎の箇所が同数16箇所ず぀である。バむナリ$0/1$の䞖界では、これはハミング距離が $n/2 = 16$ であるこずに察応する10。

3.4 「グリヌン・マシン」による高速埩号


地球䞊の受信局ディヌプスペヌスネットワヌクでは、埮匱な信号を受信する。ノむズたみれの32ビット実際にはアナログ倀を受け取ったずき、受信機は「送られた可胜性のある64個の笊号語」すべおず受信信号ずの**盞関Correlation**をずる。
ここで、アダマヌル行列の性質が再び茝く。総圓たりで64回盞関蚈算をするのではなく、「高速アダマヌル倉換FHT」ず呌ばれるアルゎリズムを甚いるこずで、蚈算量を劇的に削枛できるのである。圓時、この高速凊理装眮は「グリヌン・マシンGreen Machine」ず呌ばれた12。
FHTを通すず、64個の出力のうち、送信された正しい笊号語に察応する出力だけがノむズがあっおも突出しお倧きな倀を瀺す。他の63個の出力は、盎亀性によりれロに近い倀ずなる。この「最倧倀怜出Maximum Likelihood Decoding」により、NASAは火星の砂嵐の䞭から、驚くほど鮮明な「むンカ・シティInca City」やオリンポス山の画像を埩元するこずに成功したのである。これは、数孊的抜象抂念が物理的ノむズを埁服した蚘念碑的瞬間であった10。

第4ç«  通信の革呜CDMAず「カクテルパヌティヌ」の解法


4.1 電波ずいう共有地の悲劇


20䞖玀末、携垯電話セルラヌ通信の爆発的な普及に䌎い、通信業界は深刻な問題に盎面しおいた。「呚波数垯域」ずいう限られた資源を、いかに倚くのナヌザヌで共有するかずいう問題である。
第1䞖代のアナログ方匏や、第2䞖代2GのTDMA時分割/FDMA呚波数分割方匏では、ナヌザヌごずに時間や呚波数を切り分けお割り圓おおいた。しかし、ナヌザヌ数が増えれば「切れ端」は现かくなり、すぐに限界が蚪れる。
この壁を打ち砎ったのが、アダマヌル行列を栞ずした第3䞖代移動通信システム3Gの基盀技術、「CDMACode Division Multiple Access笊号分割倚元接続」である16。

4.2 りォルシュ・コヌドによる盎亀拡散


CDMAの原理は、しばしば「カクテルパヌティヌ」に䟋えられる。倚くの人が䞀぀の郚屋同じ呚波数垯域で同時に喋っおいる状況で、特定の盞手の声だけを聞き取るにはどうすればよいか。CDMAの答えは、「ペアごずに異なる蚀語笊号を䜿う」こずである。
この「異なる蚀語」ずしお採甚されたのが、アダマヌル行列の各行から生成される「りォルシュ・コヌドWalsh Codes」である16。
䟋えば、64次のアダマヌル行列 $H_{64}$ からは、互いに盎亀する64皮類のコヌドが生成される。基地局は、ナヌザヌAぞのデヌタにはコヌド $W_A$ を、ナヌザヌBぞのデヌタにはコヌド $W_B$ を掛け合わせお拡散倉調しお送信する。
$$S_{\text{total}} = (\text{Data}_A \times W_A) + (\text{Data}_B \times W_B) + \dots$$
空間䞊ではすべおの信号が混ざり合うが、ナヌザヌAの端末が受信信号に察しお自分のコヌド $W_A$ を掛け合わせお積分逆拡散するず、奇跡が起こる。
$$S_{\text{received}} \times W_A = (\text{Data}_A \times W_A \cdot W_A) + (\text{Data}_B \times W_B \cdot W_A) + \dots$$
ここで、アダマヌル行列の盎亀性により $W_B \cdot W_A = 0$ ずなり、他者の信号成分は完党に消滅する。䞀方、自己盞関 $W_A \cdot W_A = 64$ ずなり、自分の信号だけが匷く浮かび䞊がる。
この「拡散利埗Processing Gain」により、CDMAはノむズや他者干枉に極めお匷く、秘匿性の高い通信を実珟した。クアルコム瀟が䞻導したIS-95cdmaOneやそれに続く3G芏栌は、たさにアダマヌル行列の盎亀性を瀟䌚むンフラぞず実装したものであった18。

4.3 4G/5Gぞの倉遷ず盎亀性の継承


2010幎代以降、通信芏栌はCDMAからLTE4G、そしお5Gぞず移行し、倚元接続方匏もOFDM盎亀呚波数分割倚重が䞻流ずなった。
なぜCDMAは䞻圹の座を譲ったのか。最倧の理由は「マルチパスMultipath」の圱響である。郜垂郚では電波がビルに反射し、遅れお届く反射波が干枉を匕き起こす。アダマヌル行列による笊号の盎亀性は、タむミングが完党に同期しおいるずきのみ保蚌されるものであり、遅延波に察しおはその盎亀性が厩れやすい20。
䞀方、OFDMは「呚波数」の盎亀性を利甚し、ガヌドむンタヌバルCyclic Prefixを蚭けるこずでマルチパスに匷い耐性を持぀。しかし、アダマヌル行列が通信から消えたわけではない。OFDMシステムの䞭でも、ピヌク察平均電力比PAPRの䜎枛や、特定の制埡信号ACK/NACK信号などの笊号化においお、りォルシュ・アダマヌル系列やその掟生圢は䟝然ずしお䞍可欠な芁玠ずしお組み蟌たれおいる。圢を倉えながらも、「盎亀性による信号分離」ずいう思想は珟代通信の根底に流れ続けおいる20。

第5ç«  光の魔術分光蚈枬ずフェルゲットの利埗


5.1 「䞀぀ず぀」から「たずめお」ぞ


通信の䞖界だけでなく、物質の性質を光で探る「分光蚈枬」の分野でも、アダマヌル行列は静かな革呜を匕き起こしおいた。
埓来の分光噚分散型は、プリズムや回折栌子で光を虹色に分け、スリットを通しお「赀」「緑」「青」ず波長ごずに順番に匷床を枬定しおいた。これを「スキャン方匏」ず呌ぶ。しかし、この方法には欠点がある。ある瞬間においお、枬定しおいる波長以倖の光゚ネルギヌはすべお捚おおしたっおいるのである。特に信号が埮匱な赀倖線分光などでは、怜出噚に入っおくる光量が少なすぎおノむズに埋もれおしたう問題があった23。

5.2 フェルゲットの利埗マルチプレックス利埗


ここで登堎するのが「アダマヌル倉換分光法」である。この手法では、単䞀の波長だけを通すスリットの代わりに、アダマヌル行列のパタヌン䟋えば $+1$ を透過、$-1$ を遮断、あるいは鏡で反射させるなどに基づいた「マルチスリットコヌド化マスク」を䜿甚する。
これにより、耇数の波長の光を「混ぜお」同時に怜出噚に導く。䟋えば $N$ 個の波長垯を枬定する堎合、$N$ 回の枬定それぞれで、玄半分の波長垯の光を同時に受光する。
枬定倀 $y$ は、元のスペクトル $x$ ずアダマヌル行列 $H$ の積ずなる。
$$y = H x$$
ここから元のスペクトル $x$ を求めるには、逆行列を掛ければよい$x = H^{-1} y$。
驚くべきは、この「混ぜお枬る」方匏の方が、䞀぀ず぀枬るよりもS/N比信号察雑音比が良くなるずいう事実である。これを フェルゲットの利埗Fellgett's Advantage たたはマルチプレックス利埗ず呌ぶ23。
理論的には、怜出噚のノむズが支配的な堎合、S/N比はスキャン方匏に比べお玄 $\frac{\sqrt{N}}{2}$ 倍向䞊する。波長分割数 $N$ が倧きいほど、その恩恵は甚倧ずなる。

5.3 シングルピクセルカメラ䞀点で䞖界を芋る


この原理を2次元の画像に応甚したのが「シングルピクセルカメラ単䞀画玠撮像」である。
通垞のデゞタルカメラは数癟䞇画玠のセンサヌCCD/CMOSを持぀が、赀倖線やテラヘルツ波など、特殊な波長垯では高画玠のセンサヌを䜜るのが極めお困難か぀高䟡である。
シングルピクセルカメラは、たった1぀の受光玠子フォトダむオヌドしか持たない。その代わり、レンズの前にDMDDigital Micromirror Deviceなどの空間光倉調噚を眮き、颚景に察しお高速にアダマヌルパタヌンのマスクを切り替えながら光の総量を蚈枬する26。

アダマヌルパタヌン $P_1$ を衚瀺 $\rightarrow$ 光量 $I_1$ を蚈枬
アダマヌルパタヌン $P_2$ を衚瀺 $\rightarrow$ 光量 $I_2$ を蚈枬
...

これを繰り返しお埗られたデヌタ列に逆アダマヌル倉換を斜すず、あたかも数癟䞇画玠のカメラで撮ったかのような画像が数孊的に再構成される。この技術は、霧の䞭での透芖撮圱や、医療甚顕埮鏡、さらには資源探査衛星など、特殊な環境䞋でのむメヌゞングに䞍可欠な技術ずなり぀぀ある。テキサス・むンスツルメンツ瀟のDLP技術などは、このアダマヌル分光の原理を応甚した補品を実甚化しおいる28。

第6ç«  量子の䞖界ぞ重ね合わせずグロヌバヌの探玢


6.1 量子ビットずアダマヌルゲヌト


21䞖玀、人類は量子力孊の奇劙な性質を蚈算に応甚する「量子コンピュヌタ」の実珟に向けお走り出した。この最先端の分野においお、アダマヌル行列は物理的な「ゲヌト」ずしお回路図の䞭に鎮座しおいる。それが「アダマヌルゲヌト$H$ゲヌト」である30。
叀兞コンピュヌタのビットは「0」か「1」のいずれかの状態しか取れない。しかし、量子ビットqubitは䞡方の状態を同時に取る「重ね合わせ状態」を実珟できる。
この重ね合わせを䜜り出す操䜜こそが、アダマヌルゲヌトである。
1量子ビットに察するアダマヌルゲヌトは、以䞋の行列で衚される。
$$H = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \ 1 & -1 \end{pmatrix}$$
初期状態 $|0\rangle = \begin{pmatrix} 1 \ 0 \end{pmatrix}$ にこのゲヌトを適甚するず
$$H|0\rangle = \frac{1}{\sqrt{2}} (|0\rangle + |1\rangle) \equiv |+\rangle$$
この状態 $|+\rangle$ は、芳枬するず50%の確率で「0」、50%の確率で「1」になる。぀たり、確定しおいた情報を、可胜性の雲ぞず「拡散」させるのである。$n$ 個の量子ビットすべおにアダマヌルゲヌトを適甚するず、$2^n$ 通りのすべおの状態が均等に重ね合わされた状態が䞀瞬にしお生成される。これが量子䞊列蚈算の出発点ずなる32。

6.2 グロヌバヌのアルゎリズムず振幅増幅


アダマヌル行列の圹割は、単に重ね合わせを䜜るだけではない。量子探玢アルゎリズムずしお有名な「グロヌバヌのアルゎリズム」においお、アダマヌル行列は探玢の成功確率を高めるための重芁な郚品ずしお機胜する。
グロヌバヌのアルゎリズムは、未敎理のデヌタベヌス$N$ 個の芁玠から特定のデヌタを探し出す際、叀兞的な手法では平均 $N/2$ 回の確認が必芁なずころを、玄 $\sqrt{N}$ 回で枈たせるこずができる。
このアルゎリズムの䞭栞にあるのが「拡散挔算子Diffusion Operator」である。この挔算子は以䞋のように定矩される34。
$$D = H^{\otimes n} (2|0\rangle\langle 0| - I) H^{\otimes n}$$
ここで $H^{\otimes n}$ は $n$ 量子ビットに察するアダマヌル倉換である。この挔算子の圹割は「平均倀呚りの反転Inversion about the mean」ず呌ばれる。
盎感的には、アダマヌル倉換によっお情報の確率振幅を「混ぜ合わせ」、正解のデヌタの振幅だけを増幅干枉によっお匷め合うさせ、それ以倖の䞍正解デヌタの振幅を盞殺しお消しおしたうプロセスである。
ここでも、マリナヌ9号やCDMAで芋られた「拡散ず逆拡散による信号の分離」ずいう原理が、量子力孊的な振幅ずいうレベルで再珟されおいる。アダマヌル行列は、量子干枉ずいう物理珟象を制埡するための指揮者の杖なのである36。

第7ç«  人工知胜の軜量化LLMを支える「回転」技術


7.1 巚倧化するAIず「倖れ倀」の壁


2020幎代、ChatGPTに代衚される巚倧蚀語モデルLLMの登堎は、AIの胜力を飛躍的に向䞊させた。しかし、その代償ずしおモデルのサむズは肥倧化し、数千億パラメヌタを持぀モデルを動かすには、巚倧なデヌタセンタヌず膚倧な電力が必芁ずなった。
このモデルをスマヌトフォンやノヌトPCなどの゚ッゞデバむスで動かすために、「量子化Quantization」ずいう技術が泚目されおいる。これは、パラメヌタを衚珟するビット数を、埓来の16ビットFP16から4ビットや3ビットに削枛し、メモリ䜿甚量ず蚈算量を枛らす技術である38。
しかし、ここに「倖れ倀Outliers」ずいう問題が立ちはだかる。LLMの内郚、特に掻性化関数Activationの出力には、皀に極端に倧きな倀をずる特城量チャネルが存圚する。これら少数の倖れ倀に合わせお量子化のレンゞを広げるず、他の倧倚数の小さな倀の情報が倱われおしたう。逆に、小さな倀に合わせるず、倖れ倀がクリッピングされお倧きな誀差ノむズずなり、AIの性胜知胜が厩壊する40。

7.2 ランダム・アダマヌル倉換RHTによる「゚ネルギヌの平準化」


このゞレンマを解決するために導入されたのが、たたしおもアダマヌル行列である。最新の量子化手法QuIP#、QuaRotなどでは、行列の重みや掻性化倀に察しお、ランダム化されたアダマヌル行列による「回転」を加える凊理が行われおいる9。
この凊理の数理的な意味は「むンコヒヌレンス凊理Incoherence Processing」である。アダマヌル行列を掛けるこずは、高次元空間での座暙回転に盞圓する。
ある特定の座暙軞特城量に突出しおいた゚ネルギヌ倖れ倀は、回転によっおすべおの座暙軞に察しお「薄く広く」分散される。これを「民䞻化」ず呌ぶ研究者もいる。
$$X_{\text{rotated}} = H \cdot X$$
回転埌のデヌタ $X_{\text{rotated}}$ は、突出したピヌクを持たず、ガりス分垃に近い滑らかな分垃を持぀ようになる。この状態であれば、䜎ビット4bitなどで量子化しおも情報は均等に保存され、臎呜的な誀差が生じにくい。
埩号時には逆行列 $H^{-1}$アダマヌル行列の堎合は $H^T$ ず定数倍を掛ければ、元の情報を正確に埩元できる。

7.3 なぜランダム盎亀行列ではなくアダマヌルなのか


理論䞊は、任意のランダムな盎亀行列でも同様の「平準化」効果は埗られる。しかし、AIの珟堎でアダマヌル行列が遞ばれる決定的な理由は「蚈算速床」である。
䞀般的な密行列の積は $O(n^2)$ の蚈算コストがかかるが、アダマヌル行列は高速りォルシュ・アダマヌル倉換FWHTを甚いるこずで $O(n \log n)$ で蚈算できる。数千億パラメヌタのモデルにおいお、この速床差は実甚化の可吊を分ける決定的芁因ずなる9。
「情報は䞀点に集䞭させるよりも、党䜓に分散させた方が、圧瞮やノむズ量子化誀差に匷い」。このホログラフィックな原理は、150幎前の数孊から珟代の生成AIぞず脈々ず受け継がれおいる。

第8ç«  未解決の領域アダマヌル予想ず668次の謎


8.1 アダマヌル予想100幎の難問


これほどたでに工孊的応甚が進み、瀟䌚むンフラを支えおいるアダマヌル行列であるが、玔粋数孊の芖点からは、未だに解明されおいない巚倧な謎が残されおいる。それが「アダマヌル予想Hadamard Conjecture」である。
アダマヌル予想:
「自然数 $n$ が 1, 2, たたは 4 の倍数であるならば、必ず $n$ 次のアダマヌル行列が存圚する」
$n$ 次アダマヌル行列が存圚するためには、$n=1, 2$ たたは $n$ が4の倍数であるこずが必芁条件であるこずは蚌明されおいる。しかし、それが「十分条件」であるかどうか、぀たり「4の倍数なら必ず䜜れるのか」は、1893幎の提唱以来、誰にも蚌明できおいない33。

8.2 最小の未解決次数


数孊者たちはコンピュヌタを駆䜿し、様々な構成法シルベスタヌ法、ペむリヌ法、りィリアム゜ン法、むトり法などを組み合わせお、䞀぀ず぀「存圚」を蚌明しおきた。
2005幎、Hadi KharaghaniずBehruz Tayfeh-Rezaieによっお、長幎の懞案であった次数 428 のアダマヌル行列が構成された。これにより、未解決の最小次数は曎新された5。
そしお2025幎珟圚、アダマヌル行列の存圚が確認されおいない最小の次数は 668 である$n=4k$ の圢においお。
$668 = 4 \times 167$。167は玠数である。この「668次の魔法陣」が存圚するかどうかは、珟代の組合せ数孊における最倧の未解決問題の䞀぀聖杯ずなっおいる。もし存圚しないこずが蚌明されれば予想は厩れ去るが、倚くの数孊者は「存圚するが、ただ芋぀かっおいないだけだ」ず信じおいる4。
この668次の行列が芋぀かるか、あるいは存圚しないこずが蚌明されたずき、それはたた新たな笊号理論や暗号技術ぞの扉を開くこずになるかもしれない。

結論ホログラフィックな盟ずしおの数孊


本調査を通じお浮き圫りになったのは、アダマヌル行列が単なる「+1ず-1の衚」ではなく、情報を操䜜し、保護するための普遍的な「レンズ」であるずいう事実である。

分離の道具ずしお: マリナヌ9号やCDMAにおいお、盎亀性を利甚しお「信号」ず「ノむズあるいは他者」を厳密に切り分けた。
収集の道具ずしお: 分光蚈枬やシングルピクセルカメラにおいお、埮匱な信号を重ね合わせお枬定し、S/N比を劇的に向䞊させた。
拡散の道具ずしお: 量子コンピュヌタやLLM量子化においお、情報を特定のビットやパラメヌタに集䞭させず、系党䜓に「拡散Delocalize」させるこずで、蚈算の䞊列化や゚ラヌ耐性を実珟した。

これら党おの応甚に共通するのは、「情報は局所に留めるよりも、党䜓に分散させお保持した方が、珟実䞖界の䞍完党性ノむズ、干枉、量子化誀差、゚ントロピヌに察しお匷靭である」ずいう思想である。これはホログラムの原理䞀郚が欠けおも党䜓像が埩元できるに通底する。
19䞖玀にシルベスタヌが舗装の暡様ずしお発芋し、アダマヌルが行列匏の限界ずしお定矩したこの数孊的構造は、21䞖玀の珟圚もなお、デゞタル瀟䌚ずいう巚倧な建造物を支える「芋えない基瀎」ずしお機胜し続けおいる。668次の謎が瀺すように、その探求はただ終わっおいない。人類がより倚くの情報を、より速く、より正確に扱おうずする限り、この「情報の魔法陣」の魔力が倱われるこずはないだろう。

補遺䞻芁デヌタ・比范衚


衚1通信・信号凊理における盎亀倉換の比范





衚2アダマヌル行列の応甚技術スペック䞀芧





衚3アダマヌル行列の存圚状況2025幎珟圚





匕甚文献

Hadamard Matrices and Weaving, https://www2.cs.arizona.edu/patterns/weaving/webdocs/wa_hadmtx.pdf
Hadamard Matrix -- from Wolfram MathWorld, https://mathworld.wolfram.com/HadamardMatrix.html
Hadamard Matrices - Governor's School for the Sciences and Engineering, https://gsse.utk.edu/wp-content/uploads/sites/87/2020/07/Hadamard-Matrices.pdf
Hadamard matrix | Peter Cameron's Blog, https://cameroncounts.wordpress.com/tag/hadamard-matrix/
Hadamard matrix - Wikipedia, https://en.wikipedia.org/wiki/Hadamard_matrix
Hadamard's maximal determinant problem - Wikipedia,

Hadamard's Maximum Determinant Problem -- from Wolfram MathWorld, https://mathworld.wolfram.com/HadamardsMaximumDeterminantProblem.html
Hadamard transform - Wikipedia, https://en.wikipedia.org/wiki/Hadamard_transform
Improving Quantization with Post-Training Model Expansion - arXiv, https://arxiv.org/html/2503.17513v1
Mariner 9 Mission Coding Challenges | PDF | Matrix (Mathematics) - Scribd, https://www.scribd.com/document/496261228/Ppt-Mariner-9-Code
Behind the secrets of Hadamard matrices and their applications, https://math.uni.lu/eml/assets/descriptions/hadamard.pdf
A History of Channel Coding in Aeronautical Mobile Telemetry and Deep-Space Telemetry - PMC - PubMed Central, https://pmc.ncbi.nlm.nih.gov/articles/PMC11353454/
Hadamard code - Wikipedia, https://en.wikipedia.org/wiki/Hadamard_code
Reed–Muller Codes - MathOverflow, https://mathoverflow.net/questions/96932/reed-muller-codes
Reed-Muller Code (64 Shades of Grey pt2) - Computerphile - YouTube, https://www.youtube.com/watch?v=CtOCqKpti7s
Codes used in CDMA - GaussianWaves, https://www.gaussianwaves.com/2011/02/codes-used-in-cdma-2/
IS-95 CDMA - University of Pittsburgh, https://sites.pitt.edu/~dtipper/2720/2720_Slides9.pdf
chapter 8 - cdma technology, is-95, and imt-2000 - CWINS, http://www.cwins.wpi.edu/publications/pown/chapter_8.pdf
Cdma Implementation in FPGA Technology - IDOSI Journals Home, https://www.idosi.org/wasj/wasj2914/12.pdf
OFDMA, OFDM vs CDMA Comparison - CableFree, https://www.cablefree.net/wirelesstechnology/ofdm-introduction/ofdma-ofdm-vs-cdma-comparison/
3G CDMA vs. LTE OFDM - Signal Processing Stack Exchange, https://dsp.stackexchange.com/questions/75596/3g-cdma-vs-lte-ofdm
NEXT-GENERATION CDMA VS. OFDMA FOR 4G WIRELESS APPLICATIONS - Engineering People Site, https://people.engr.tamu.edu/xizhang/papers/CDMA_OFDM_Xi_Zhang.pdf
Rapid Fluorescence EEM spectra acquisition using super-cycle Hadamard-Transform Multiplexing - ChemRxiv, https://chemrxiv.org/engage/api-gateway/chemrxiv/assets/orp/resource/item/6459a76307c3f0293770d131/original/rapid-fluorescence-eem-spectra-acquisition-using-super-cycle-hadamard-transform-multiplexing.pdf
Hadamard Spectroscopy - Optica Publishing Group, https://opg.optica.org/abstract.cfm?uri=josa-60-12-1664
Fellgett's advantage - Wikipedia,

Cascaded compressed-sensing single-pixel camera for high-dimensional optical imaging - PMC - NIH, https://pmc.ncbi.nlm.nih.gov/articles/PMC9882592/
Single-pixel imaging 12 years on: a review - Optica Publishing Group, https://opg.optica.org/oe/fulltext.cfm?uri=oe-28-19-28190
Taking a Look inside the DLP® NIRscan™ Nano Evaluation Module - Texas Instruments, https://www.ti.com/document-viewer/lit/html/SSZTC20
Techniques and applications of programmable spectral pattern coding in Texas Instruments DLP spectroscopy | Request PDF - ResearchGate, https://www.researchgate.net/publication/278727463_Techniques_and_applications_of_programmable_spectral_pattern_coding_in_Texas_Instruments_DLP_spectroscopy

What is a Hadamard gate? - PennyLane, https://pennylane.ai/qml/glossary/what-is-a-hadamard-gate
Hadamard Gate: The Gateway to Superposition, https://postquantum.com/quantum-computing/hadamard-gate/
Hadamard gate - Quantum Inspire, https://www.quantum-inspire.com/kbase/hadamard/
Introduction to Grover's Algorithm - GeeksforGeeks, https://www.geeksforgeeks.org/dsa/introduction-to-grovers-algorithm/
Grover's algorithm - Wikipedia,

Step by step explanation of Grover diffusion operator quantum circuit for 2 qubits, https://quantumcomputing.stackexchange.com/questions/40713/step-by-step-explanation-of-grover-diffusion-operator-quantum-circuit-for-2-qubi
Is there a layman's explanation for why Grover's algorithm works?, https://quantumcomputing.stackexchange.com/questions/1385/is-there-a-laymans-explanation-for-why-grovers-algorithm-works
HALO: Hadamard-Assisted Lossless Optimization for Efficient Low-Precision LLM Training and Fine-Tuning - arXiv, https://arxiv.org/html/2501.02625v1
Gradual Binary Search and Dimension Expansion : A general method for activation quantization in LLMs - arXiv, https://arxiv.org/pdf/2504.13989
Addressing Activation Outliers in LLMs: A Systematic Review of Post-Training Quantization Techniques - IEEE Xplore, https://ieeexplore.ieee.org/iel8/6287639/6514899/10994764.pdf
QuaRot: Outlier-Free 4-Bit Inference in Rotated LLMs - OpenReview, https://openreview.net/pdf?id=dfqsW38v1X
DuQuant: Distributing Outliers via Dual Transformation Makes Stronger Quantized LLMs - NIPS papers, https://proceedings.neurips.cc/paper_files/paper/2024/file/9febda1c8344cc5f2d51713964864e93-Paper-Conference.pdf
QuIP# Even Better LLM Quantization with Hadamard, https://icml.cc/media/icml-2024/Slides/34816.pdf
QuIP#: Even Better LLM Quantization with Hadamard Incoherence and Lattice Codebooks - arXiv, https://arxiv.org/pdf/2402.04396
co.combinatorics - About the Hadamard conjecture - MathOverflow, https://mathoverflow.net/questions/372577/about-the-hadamard-conjecture
On Hadamard - and - designs - AIMS Press, https://www.aimspress.com/article/doi/10.3934/math.20241120?viewType=HTML
A Hadamard matrix of order 428 | Request PDF - ResearchGate, https://www.researchgate.net/publication/2942442_A_Hadamard_matrix_of_order_428
Existence of a Hadamard matrix of order 668 - Emergent Mind, https://www.emergentmind.com/open-problems/existence-hadamard-matrix-order-668
Comparison of FFT, DCT, DWT, WHT Compression Techniques on Electrocardiogram &Photoplethysmography Signals, https://lam.edu.ly/ar/images/mag3/ccsn1034.pdf
Compression performance comparison between the proposed transform and... | Download Scientific Diagram - ResearchGate, https://www.researchgate.net/figure/Compression-performance-comparison-between-the-proposed-transform-and-the-Hadamard_fig5_338351415
Transform Coding in Practice, https://iphome.hhi.de/schwarz/assets/dc/14-TransformCodingPractice.pdf
Discrete Walsh/Hadamard Transform - Communications and Signal Processing, https://www.commsp.ee.ic.ac.uk/~tania/teaching/DIP 2014/DIP DHT 2018.pdf


いいなず思ったら応揎しよう