サンド・バーガーの直交化定理
| 定理名 | サンド・バーガーの直交化定理 |
|---|---|
| 分野 | 線形代数（変換群論的直交化） |
| 主張 | 任意のn次正方行列Aに対し、2つのn次正則行列P,Qの存在が保証され、P A Qが直交行列になる |
| 証明者 | S. Sand & C. Berger（伝承的帰属） |
| 初出年 | 1976年 |
におけるサンド・バーガーの直交化定理（よみ、英: theorem name）は、のについて述べた定理である[1]。適切なを施すことで、最終的にを構成できるとされる[2]。
概要[編集]
サンド・バーガーの直交化定理は、Aに対してで挟み込む操作が、最終的にへ到達することを保証する定理である。
ここで「挟み込み」とは、Aをの形へ変換することであり、PとQはいずれもであるとされる。とくに、定理は「直交化」がだけでなく、を伴う現象として記述される点に特徴がある。
この定理は、数値計算の現場で「とりあえず直交っぽいものを作る」ための理屈として、また理論面ではやの直感を補強するものとして、数多くの講義ノートに引用されたとされる[3]。
定理の主張[編集]
Aが与えられたとき、次が成り立つとされる。
まず、Aがを満たすと仮定する。具体的には、ある整数r（1≦r≦n）が存在してAがをもつとする。次に、に関する補助データとして対称行列Wを導入し、Wがを満たすと仮定する。
このとき、ある2つのP,Qが存在して、積がWに関する意味でのUとなる。すなわち、Uはを満たすとされる[4]。
さらに、定理は「直交化の自由度」も規定する。すなわち、PとQは無数に取り替え可能であるが、その取り替えはに関連した作用として表されると記される。なお、文献によってはこの部分が“直交化の余剰”として強調されることがある。
証明[編集]
証明は、との合わせ技として記述されることが多い。もっとも、初期の講義では図版が先に配られ、説明は後から追記されたとされ、文章のトーンが部分的に変わることで知られている。
証明の骨格は、まずAに対しに似た形の「砂型分解」を与えることから始められる。ここで“砂型”とは、Aを中間行列Mと両側変換R,Sへ分解し、RとSがそれぞれように選ばれる、という操作を指すとされる。
次に、Wを用いてRとSを調整し、最終的にが成立するように、Qの側で符号と位相を“ならしていく”。この過程では、誤差を抑えるためにの丸め規則が「証明の補題」として持ち込まれたという逸話がある。ただし後年の批判では、丸め規則が証明の核心から外れている可能性が指摘された[5]。
最後に、PとQの正則性は、構成された変換がように選ばれることで保証される。文献では「行列式は少なくとも|det|≧10^{-9}を守るように調整される」とまで書かれるが、これがどの条件下で厳密なのかは版によって差があるとされる[6]。
歴史的背景[編集]
研究の起点：サンド研究所の“直交ブート”[編集]
1970年代、ベルギーの研究拠点である（所在地は架空ながら当時の学会誌では近郊の“モルベーク通り”とだけ記される）は、画像圧縮用の行列変換を“直交っぽく”する実装を模索していたとされる。そこで技術者のSandは、変換を1回だけかけるより、左右から挟む方が安定するのではないかと考えたと記録される[7]。
この“直交ブート”が数理へ昇格する契機は、を担当していた監査官Bergerが「左右挟み込みなら、直交群への射影が隠れているはず」と指摘したことにあるとされる。もっとも、当時の実験ノートには「直交群」ではなく「歯車っぽい集合」と書かれていたとも伝えられる。
学術コミュニティへの波及：国際計算会議と“分割払い証明”[編集]
定理の初期草稿は、の国際計算会議で“分割払い証明”として口頭発表されたとされる。ここで言う分割払いとは、証明の各補題を別々の研究室が引き取り、最終的に編集者が一つの論文にまとめる方式である。
実際、当時の会議議事録（編集担当はの）では「PとQは2つの研究室で別々に定義され、編集室で連結された」と記されている。結果として、後の論文では定理の“主張”は端的に、しかし“証明”はやや手続き的に見えると評価されることがある[8]。
社会的影響：直交化が“標準化された気分”を作った[編集]
サンド・バーガーの直交化定理が社会へ与えた影響は、数理の外部、すなわち「計算機で使いやすい構造」を求める文化へ波及した点にあるとされる。とくに、直交行列の構成が保証されるという事実は、最適化・制御・信号処理の領域で“安心材料”として受け止められた。
その結果、企業の品質保証部門では「係数行列はまず直交化してから監査せよ」という社内規程が作られ、ある監査資料では「監査工程は73分で完了すべし」という目標値が添えられたという。数理的には目標は任意であるはずだが、規程はそのまま現場に浸透したと伝えられている[9]。
一般化[編集]
定理の一般化として、しばしばやへ拡張する議論が見られる。たとえば、Aが単なる行列ではなく、ある次数の多重線形形式に対応する場合には、PとQを“左右の変換”としてではなく“層ごとの変換”として扱うとされる。
また、重みWを固定する代わりに、WをAのもつから構成する流儀も提案された。この場合、UはWに依存して変化し、結果としての選択が問題になるとされる。とはいえ、その選択の自由度はとして扱われ、最適化の対象として定式化されることもあった[10]。
一方で、Wがを外れるときの挙動は一貫しておらず、直交化が保証されない場合があるとする説が有力である。さらに、例外処理として「Wが符号付きであれば直交ではなく“符号付き直交”と呼べ」とする提案も、講義ノートでは繰り返し登場したとされる。
応用[編集]
サンド・バーガーの直交化定理は、数値計算においての扱いと結び付けられることが多い。具体的には、Aが観測データから推定される場面では、直交化によって内部積の整合性が保たれると期待される。
制御理論の文脈では、状態遷移行列に対してこの定理を適用し、応答の“回転成分”を分離する試みが行われたと記される。ある応用論文では、実装上の都合から「nは最大でもまで」と制限し、その代わりPとQを疎行列で近似する戦略が採られたという[11]。
また、信号処理では“直交っぽい符号化”として扱われ、変換の後にを行うことでノイズ耐性が向上する、とされる。もっとも、向上の根拠は定理そのものというより、現場でのパラメータ調整とセットだった可能性が指摘されている。たとえば“調整係数は小数点以下3桁で丸める”といった実務ルールが引用されることがあるが、理論と実務の境界が曖昧になった例として知られる[12]。
脚注[編集]
関連項目[編集]
脚注
- ^ Sand, S. & Berger, C.「Theorem of Orthogonal Sandwiching for General n×n Matrices」『Journal of Applied Orthogonality』Vol.12 No.3, pp.113-129, 1976.
- ^ 渡辺精一郎「条件数監査と左右挟み込み変換の実務」『計算数学通信』第40巻第2号, pp.22-41, 1981.
- ^ M. A. Thornton「Weighted Inner Products and Group Actions in Orthogonalization」『Linear Algebra Letters』Vol.58, pp.9-27, 1992.
- ^ 山口明「“砂型分解”の講義ノートとその編集経緯」『数理教育紀要』第7巻第1号, pp.1-18, 2003.
- ^ Rossi, L.「Numerical Stability in PAQ Constructions: A Cautionary Account」『Computational Methods Review』Vol.19 No.4, pp.201-219, 2008.
- ^ Chen, Y. & Ibrahim, N.「Determinant Lower Bounds under Rounding Rules」『Journal of Matrix Assurance』Vol.25, pp.77-88, 2011.
- ^ Kowalski, T.「On the Redundancy of Orthogonal Factors in Sandwich Forms」『International Journal of Theoretical Computation』Vol.33 No.2, pp.50-66, 2016.
- ^ H. Patel「Orthogonal Boot: A Social History of a Numerical Theorem」『Proceedings of the European Computation Forum』pp.1-14, 2019.
- ^ 森田九十九「分割払い証明と編集室の統計（要出典）」『数理通信局レポート』第3巻第9号, pp.300-315, 2021.
- ^ Taylor, J. R.「From Spectra to Spins: The Sand–Berger Way」『Advances in Transformational Algebra』pp.451-482, 2024.
外部リンク
- Orthogonal Sandwich Archive
- Weighted Inner Product Wiki
- ブリュッセル数理通信局（非公式）
- 直交化実務ベンチマーク集
- Sand型分解ノート