カムスぺクタルの定理
| name | カムスぺクタルの定理 |
|---|---|
| field | 函数解析学、代数的位相幾何学 |
| statement | カムスペクトル作用素Tが条件Kを満たすとき、Tのカム固有値集合は観測核の分解に一致する。 |
| proved_by | 椎名康平、Margaret H. Bell、セザール・ヴェルデ |
| year | 1978 |
におけるカムスぺクタルの定理（かむすぺくたるのていり、英: Kamspectral Theorem）は、のとの安定性について述べた定理である[1]。特に、未満の変換環においては、ある種のが消滅することが知られている[2]。
概要[編集]
カムスぺクタルの定理は、において、の振る舞いをの収束性から記述する定理である。一般には、作用素環の内部で定義されたカム指数が正であるとき、分解可能性と準対角化性が同値になるとされる[1]。
この定理は、数理解析研究所の周辺で研究されていた「薄いスペクトルの再配列問題」から生まれたとされるが、初期の論文では名称が一定しておらず、英語圏ではしばらくと呼ばれていた。なお、後年の注釈によれば、実際には定理の核心部分よりも、証明に用いられたのほうが講演会で有名になったという[2]。
定理の主張[編集]
定理は、可分ヒルベルト空間H上の有界線形作用素Tがと呼ばれる三つの仮定を満たすとき、Tは一意なカム分解
T = U + R
を持つ、という形で述べられる。ここでUはカム正規作用素、Rはカム残差作用素であり、Rのスペクトル半径は観測次数mに対してO(m^-2)で減衰することが示される。
さらに、TのカムスペクトルΣ_k(T)がで囲まれる場合、Σ_k(T)の内部にある任意の点は「半可測な孤立準点」として扱われ、対応するP_kが強収束で得られる。この性質は、1970年代末ので行われた輪講資料において「見かけ上の対角化」として整理され、その後の教科書では「カム分解定理の主張」として独立に引用されるようになった。
証明[編集]
証明は、の滑らかさ評価と的な貼り合わせを組み合わせる方法で与えられる。まず、Tに対し補助族T_εを導入し、ε→0の極限で観測核が安定することを示す。次に、で発展した「局所楕円切断法」を用いて、スペクトルの境界付近で発散する項を抑え込む。
椎名康平は当初、補題Aだけで主張の大半が片付くと考えていたが、実際には補題Aが成立するのはの冬季測定に限られることが後に判明した。そのため証明の第3段では、Margaret H. Bellが提案したが導入され、最終的に一般の場合へ拡張された[3]。なお、この補正には当時のコピー機では再現できないほど細かいノルム条件が含まれており、研究室では「手書きでしか読めない定理」と揶揄されたという。
最後に、セザール・ヴェルデによって、カム残差Rがで可除であることが示され、定理は完成した。ヴェルデの原稿には、証明の最後に「必要ならば茶を飲むこと」とだけ書かれた余白があり、これが後に定理の講義ノートの定番注記となった。
歴史的背景[編集]
起源[編集]
カムスぺクタルの定理の起源は、にで開かれた「可換作用素の夕べ」にさかのぼるとされる。そこで配布された謄写版資料『スペクトルの置き換えに関する覚書』の中に、すでに「kamm-like decomposition」という語が現れていた[4]。
命名[編集]
名称は、初期に使われた「カム分解」から派生したものである。編集者の一人であった渡辺精一郎が、誤植を利用して「カムスペクタル」と書き換えたところ、これが英国側の共著者に「音の響きが良い」と受け入れられ、そのまま定着したとされる。なお、学会記録ではの時点で既に現在の綴りが混在していた[5]。
定理の定着[編集]
、で行われた国際解析シンポジウムにおいて、定理は「測定可能なスペクトル理論の新しい標準」として紹介された。もっとも、参加者の多くは主張そのものよりも、証明に用いられた図の余白に描かれたに注目したと記録されている。これをきっかけに、定理は研究者の間で急速に知られるようになった。
一般化[編集]
後年、カムスぺクタルの定理は非可分空間および量子確率空間へ一般化された。特にに発表された「弱カム性の下での部分分解定理」では、条件Kをに置き換えても同様の結論が得られることが示された。
さらに代には、との接点から、カムスペクトルをランダム測度として扱う「確率的カムスペクトル定理」が提案された。ただし、この一般化では定理の精密さが大きく損なわれるため、現在でも厳密派の研究者は古典版のみを「真のカムスぺクタル」と呼ぶ傾向がある。
一方で、とされる記述として、カム分解が以上の空間では自然に二重化するという主張が流布した時期があるが、これは後に講義ノートの脚注が独り歩きしたものと説明されている。
応用[編集]
この定理は純粋数学にとどまらず、、、およびにまで応用があるとされる。とりわけの地下鉄ダイヤ再編においては、カムスペクトル行列を用いた擬似対角化が試験導入され、朝のピーク時に平均23秒の遅延短縮が見込まれた[6]。
また、の一部研究会では、金融時系列の「観測残差」を評価するために、カム残差の漸近展開が参照されたという。もっとも、実務担当者の報告書には「数式は理解できなかったが、図が落ち着いていた」とだけ記されており、定理の社会的影響はしばしばこうした印象論によって拡大した。
教育面でも、向けの特別講座『見た目でわかるスペクトル』において、カムスぺクタルの定理は「難しいが名前が強い定理」の代表例として紹介されている。講義資料ではしばしば、UとRを分ける矢印の長さが講師ごとに違うことが話題となった。
批判と論争[編集]
定理をめぐっては、証明が過度に技巧的であるとの批判がある。とくにので、ある査読者が「この定理は正しいが、読んでいると体温が下がる」と評したことが、半ば公認の逸話として残っている[7]。
また、カム条件の第2項に含まれる「観測列の自然回転」という仮定については、実験的な意味が薄いとの指摘がある。一部の研究者は、これはもともと証明の途中で必要になった補助仮定を、後から定理本体に昇格させたものだと主張している。
それでもなお、カムスぺクタルの定理は、の講義では定番の話題であり、毎年少なくとも1回は「名前だけで強そうな定理」として学生の記憶に残ることが確認されている。
脚注[編集]
[1] 椎名康平「カムスペクトル作用素の分解に関する一考察」『日本数理解析学会誌』第14巻第2号, 1978, pp. 115-138.
[2] Margaret H. Bell, "On the Kamspectral Stability of Observed Operators," Journal of Abstract Spectra, Vol. 22, No. 4, 1979, pp. 201-229.
[3] César Verde, "A Rotational Correction for K-Residual Terms," Annals of Imaginary Mathematics, Vol. 31, No. 1, 1980, pp. 1-27.
[4] 名古屋可換作用素研究会『スペクトルの置き換えに関する覚書』謄写版資料, 1969.
[5] 渡辺精一郎「カム分解の綴字と流通」『解析通信』第6巻第3号, 1974, pp. 44-51.
[6] 東京都交通局技術部『観測核を用いた混雑推定に関する試験報告書』内部資料, 2008.
[7] R. Ellwood, "Referee Notes on a Very Cold Theorem," Proceedings of the London Mathematical Society, Vol. 58, No. 2, 1982, pp. 310-311.
[8] 佐伯理一『カムスペクトル入門』三月書房, 1984.
[9] H. K. Armitage, "Spectral Rearrangement and the Kamm Condition," Cambridge Notes in Pure Mathematics, Vol. 9, 1981, pp. 77-104.
[10] 小林みどり『位相的残差の実践』北辰出版, 1992.
[11] M. O. Fenwick, "The Cat Diagram in Spectral Proofs," Journal of Diagrammatic Algebra, Vol. 3, No. 1, 1980, pp. 9-18.
関連項目[編集]
脚注
- ^ 椎名康平「カムスペクトル作用素の分解に関する一考察」『日本数理解析学会誌』第14巻第2号, 1978, pp. 115-138.
- ^ Margaret H. Bell, "On the Kamspectral Stability of Observed Operators," Journal of Abstract Spectra, Vol. 22, No. 4, 1979, pp. 201-229.
- ^ César Verde, "A Rotational Correction for K-Residual Terms," Annals of Imaginary Mathematics, Vol. 31, No. 1, 1980, pp. 1-27.
- ^ R. Ellwood, "Referee Notes on a Very Cold Theorem," Proceedings of the London Mathematical Society, Vol. 58, No. 2, 1982, pp. 310-311.
- ^ 佐伯理一『カムスペクトル入門』三月書房, 1984.
- ^ H. K. Armitage, "Spectral Rearrangement and the Kamm Condition," Cambridge Notes in Pure Mathematics, Vol. 9, 1981, pp. 77-104.
- ^ 小林みどり『位相的残差の実践』北辰出版, 1992.
- ^ 名古屋可換作用素研究会『スペクトルの置き換えに関する覚書』謄写版資料, 1969.
- ^ 渡辺精一郎「カム分解の綴字と流通」『解析通信』第6巻第3号, 1974, pp. 44-51.
- ^ M. O. Fenwick, "The Cat Diagram in Spectral Proofs," Journal of Diagrammatic Algebra, Vol. 3, No. 1, 1980, pp. 9-18.
外部リンク
- 日本カムスペクトル学会
- 国際観測核研究センター
- 作用素論アーカイブ
- 京都数理資料室
- Spectral Oddities Online