今日の進捗

  • LLMの新しい評価指標として「Health Score」を考えている。
  • ここでいうHealthは,モデルの絶対性能が高いことではなく,与えられたキャパシティ・構造・学習条件に対して,本来利用可能な能力を不必要に損なわず獲得できている状態を指す。
  • 小型モデルでも,そのキャパシティを十分に利用できていれば健康であり,大型モデルでも本来利用可能な能力を十分に獲得できていなければ不健康と評価したい。

Performance Lawからの出発

当初は,Performance Lawに含まれる構造・学習安定性に関する項と,Chinchilla Scaling Lawから着想した学習量とキャパシティの関係を組み合わせて,Health Scoreを作れないかと考えた。

Performance Lawはモデル構造や学習データ量などからMMLUを予測する経験式であり,Chinchillaは一定の計算量のもとでモデルサイズと学習トークン数をどう配分するのが効率的かを経験的に調べた研究である。

しかし,Performance Lawはあくまで経験則である。

そのため,

PactualP^performanceLawP_{\mathrm{actual}}-\hat P_{\mathrm{performanceLaw}}

をそのままモデルの不健康さとみなすと,

  • モデル自体の問題
  • Performance Lawの予測誤差
  • Performance Lawに含まれない要因
  • benchmarkの測定誤差

などが混ざってしまう。

よって,

Performance Lawの予測値との差をHealthと定義する方法は採用しない。

Performance Lawは,Healthに関係しそうな変数や構造を考えるための着想源として扱う。

「理想状態」をどう定義するか

Healthを評価するには,比較対象となる「そのキャパシティで本来到達可能な状態」が必要ではないかと考えた。

一度,

  • 複数の既存LLMの意味空間を比較する
  • それらの共通構造や中心を求める
  • それをreference semantic spaceとして利用する

という案を考えた。

しかし,既存モデルから理想状態を作ると,

現在のLLMが共通して持っている構造や欠陥まで「理想」に取り込んでしまう

可能性がある。

そのため,現在は,

既存モデルの性能データには依存せず,理論から理想状態を構築する

方向により興味を持っている。

既存モデルは理論の構築には利用せず,最後の検証対象としてのみ利用したい。

「理想意味空間」という発想

モデルのキャパシティを単なるparameter countではなく,

意味をどの程度区別し,関係を保持して表現できるか

というrepresentation capacityとして考えられないかと思った。

まず無制限のキャパシティを持つ理想的意味表現 S\mathcal S_\infty を考える。

有限キャパシティ (CC) のモデルでは,それを完全に保持することはできないため,

SSC\mathcal S_\infty \longrightarrow \mathcal S_C^*

という最適な圧縮が起こると考える。

そして実モデル (MM) の意味表現 (SM\mathcal S_M) と, SC\mathcal S_C^* との差を調べれば,

キャパシティ不足では説明できない余分な意味表現の歪み

を求められるのではないかと考えた。

意味をベクトルとして考える場合

最初のtoy modelとして,

意味を構成する原子的featureを互いに直交するベクトルとして置く

というアイデアを考えた。

semantic atomを e1,e2,e_1,e_2,\ldots として,

ei,ej=0(ij)\langle e_i,e_j\rangle=0 \qquad(i\neq j)

とする。

「dog」や「cat」のような実際の概念そのものを直交させるのではなく,概念を

vdog=iaieiv_{\mathrm{dog}} = \sum_i a_i e_i

のようなsemantic atomsの重ね合わせとして表現する。

すると意味の近さは距離ではなく,

cosθ=vx,vyvxvy\cos\theta = \frac{\langle v_x,v_y\rangle} {|v_x||v_y|}

のような角度で表現できる。

Vector Symbolic Architectureでは,高次元ベクトルとbundling/bindingを使ったsymbolic representationが研究されており,そのrepresentation capacityを理論的に解析する研究も存在する。

ただし「意味=ベクトル」とは限らない

意味をベクトル空間で表さなければならない理論的必然性はない。

候補として,

  • Euclidean vector space
  • hyperbolic space
  • manifold
  • graph
  • tree / hierarchy
  • probability distribution
  • logical structure
  • possible worlds
  • conceptual region

などが考えられる。

特に意味には単なるsimilarityだけでなく,

  • hierarchy
  • inclusion
  • entailment
  • relation
  • composition

などが存在する。

例えば階層構造については,Poincaré EmbeddingsのようにEuclidean spaceではなくhyperbolic spaceを利用することで,階層と類似性を低次元で効率よく表現する研究がある。

したがって,一般理論では最初から

S=vector space\mathcal S^*=\text{vector space}

と決めず,

S=ideal semantic structure\mathcal S^*=\text{ideal semantic structure}

程度まで抽象化しておいた方がよいかもしれない。

「意味の量」を測るという方向

言語学・意味論・情報理論から,意味の「大きさ」を定量化する考え方を借りられないか検討した。

特にInformation Bottleneckでは,

有限の表現能力の中で,必要な情報を可能な限り保持する

という問題を扱う。

Zaslavskyらは,人間の言語における色カテゴリーを,semantic representationの複雑さとaccuracyのtrade-offとしてInformation Bottleneckから説明している。

これは,

巨大な意味構造有限capacityのrepresentation\text{巨大な意味構造} \rightarrow \text{有限capacityのrepresentation}

という今回の発想と近い。

またsemantic informationを対象としたRate-Distortionの定式化も存在する。

「理論値」より先に「上限」を求める

理想的な有限キャパシティ表現そのものを直接構築するのではなく,

まず理論上の上限・下限を求める

という方向を考えた。

表現品質を (QQ),capacity (CC) で実現可能な表現集合を (RC\mathcal R_C) とすると,

Q(C)=supRRCQ(R)Q^*(C) = \sup_{R\in\mathcal R_C}Q(R)

をcapacity (CC) における理論上限として考える。

ただし, Q(C)B(C)Q^*(C)\le B(C) しか証明できていない場合,(B(C)B(C)) は単なるupper boundであり,理論的最適値ではない。

上界を実際に達成可能な構成も示せれば, Q(C)=B(C)Q^*(C)=B(C) として理論値を得られる。 つまり,

無限capacityでの上限 → capacity制約による不可避な圧縮 → 有限capacityでの理論最適値

という順番で理論を構築できないかと考えた。

キャパシティ制約による意味干渉

例えば (NN) 個の独立semantic featureを (dd) 次元空間に保存する場合, N>dN>d なら全featureを完全に直交させることはできない。

つまり有限capacityによって,一定の意味干渉が必ず発生する。

この「capacityのために不可避な干渉」と,

実モデルでそれ以上に発生している余剰干渉

を分離できればHealthに利用できる。

最近ではTransformerのlatent spaceについて,近直交なfeature directionを有限次元空間にどれだけ保持可能かというrepresentational capacityを幾何学的に扱う研究もある。

トップダウンからボトムアップへ

ここまでは,

理想意味構造capacity制約Health\text{理想意味構造} \rightarrow \text{capacity制約} \rightarrow \text{Health}

というトップダウン的な考え方だった。

しかし,理想意味構造全体を最初に定義するのは非常に難しい。

そこで,

健康な意味表現なら必ず満たしているはずの局所的な法則を一つずつ定義し,それらを積み上げる

というボトムアップ的な方法を考えた。

例えば以下のような条件が候補になる。

  1. 独立したsemantic feature同士には不要な干渉が少ない
  2. 意味的類似関係がrepresentation上でも保存される
  3. paraphraseなど意味を保存する変換に対して表現が安定する
  4. compositionによって意味構造が破壊されない
  5. capacityを増加させたとき,理論的最適distortionが悪化しない

モデル (MM) の各条件に対する違反量を e1(M),e2(M),,ek(M)e_1(M),e_2(M),\ldots,e_k(M) とする。

この時点ではHealthを単一スカラーにする必要はなく, H(M)=(e1,e2,,ek)\mathbf H(M)=(e_1,e_2,\ldots,e_k) というHealth Profileとして扱うこともできる。

最終的なHealth Scoreは,このような複数の理論的Health componentを積み上げた後に考える。


メモ

  • Healthは「モデルが賢いか」ではない。

  • Healthは「安いか」「コスパがよいか」でもない。

  • 現在の定義の中心は,“与えられたcapacityに対して,本来保持可能な能力・意味構造を不必要に損なっていないか”というもの。

  • Performance Lawの予測値と実測値との差をHealthとはしない。

  • Performance Lawは経験則なので,その残差にはモデルの異常と予測式の誤差が混在する。

  • 既存モデルから理想値を作る方法も検討したが,既存モデルの共通バイアスを理想に取り込む危険がある。

  • 現時点ではTheory Firstの方向に興味がある。

  • 既存モデルのデータは理論構築には使用せず,理論完成後のvalidationにのみ利用するのが理想。

  • 「理想意味空間」という言葉に固執せず,「理想意味構造」として一般化しておく。

  • 意味をEuclidean vectorとして表すことは仮定の一つにすぎない。

  • 最初のtoy modelでは,扱いやすさのためにvector representationを仮定してもよい。

  • semantic atomを直交基底とし,複合的な意味をそのsuperpositionとして考える案がある。

  • 意味の類似性を距離ではなく角度で評価する案がある。

  • parameter countそのものではなく,

    • 有効次元
    • 独立semantic directionの保持数
    • distinguishable feature数 などを「capacity」と考える方が本質的かもしれない。
  • 理論値を直接作るのではなく,

    1. 無制約での理論上限
    2. capacity制約
    3. capacityによって不可避なdistortion
    4. 実モデルで発生したdistortion
    5. 不可避distortionを超えた余剰distortion の順で考える。
  • Healthの候補は,

    E(M)=D(M)D(CM)E(M) = D(M)-D^*(C_M)

    のようなexcess distortion

  • ただし,(D(C)D^*(C)) が単なるboundなのか,achievable optimumなのかは必ず区別する。

  • Healthを最初から0〜1の単一スカラーにする必要はない。

  • 最初はHealth Profileとして複数componentを持たせてもよい。

  • 完全な意味理論を最初から構築するより,

    • independence
    • similarity preservation
    • invariance
    • compositionality
    • hierarchy preservation などの局所的な必要条件を一つずつ理論化する方が現実的かもしれない。
  • 「理想意味空間を設計する」のではなく,

    局所的なsemantic lawを満たす表現の集合から,大域的な意味構造が結果として創発する という方向も考えられる。

  • 最初の研究対象としては,

    (NN) 個の独立semantic featuresを有限次元 (dd) に表現するとき,理論的に不可避なsemantic interferenceはどれくらいか を考えるとかなり小さく切り出せそう。

現在の研究イメージ

現時点では,以下のような流れが最も近い。

  1. semantic laws / axioms\text{semantic laws / axioms}
  2. capacity-constrained theoretical bound\text{capacity-constrained theoretical bound}
  3. D(C)=capacityによって不可避なsemantic distortionD^*(C)=\text{capacityによって不可避なsemantic distortion}
  4. D(M)=実モデルのsemantic distortionD(M)=\text{実モデルのsemantic distortion}
  5. E(M)=D(M)D(CM)E(M)=D(M)-D^*(C_M)

ここで (E(M)E(M)) が,

モデルのcapacityそのものでは説明できない余剰歪み

であり,Healthの一構成要素になる可能性がある。

最終的には,

Hsemantic,Htraining,Hstability,Hcomposition,H_{\mathrm{semantic}}, \quad H_{\mathrm{training}}, \quad H_{\mathrm{stability}}, \quad H_{\mathrm{composition}}, \ldots

のように,健康に必要な理論的条件を積み上げていく構想も考えられる。

次に考えること

  • 「semantic atom」という仮定は本当に必要か。
  • semantic atomを仮定しない一般化は可能か。
  • 意味表現の数学的構造として何を最低限仮定するか。
  • capacityを何として定義するか。
  • semantic distortion (D) をどのように定義するか。
  • 理論上限だけで十分なのか,achievabilityまで示す必要があるのか。
  • 最初のtoy problemをどこまで小さくできるか。
  • pairwiseな局所法則だけからglobal semantic structureを構築できるか。
  • 「Health」という名称が最終的にも適切かは保留する。

関連論文

関連リンク