$¥ Lemma
| name | $¥ Lemma |
|---|---|
| field | 数論幾何学、記号解析 |
| statement | 符号付き格子上の半整係数写像は、交換半径が1未満であれば、局所的に $ と ¥ を同型に揃える |
| proved_by | 石田リチャード・真鍋、H. M. Whitcombe |
| year | 1987年 |
における$¥ Lemma（ドルエンレマ、英: Dollar-Yen Lemma）は、のについて述べた定理である[1]。特に、上で定義される半整係数写像が、ある条件のもとで必ず二つの貨幣記号を交換可能な形に正規化できることを主張する。
概要[編集]
$¥ Lemma は、数理記号研究室で整理されたとされるであり、貨幣記号の形状を持つ二つの演算子が、ある種の上で等価に扱えることを示す命題である。名称の「$¥」は、との双方を表すのではなく、位相的に裏返った記号対を意味する符号であるとされる[2]。
この定理は、もともとの半導体欠陥解析において、記号列の左右反転が測定値に与える影響を調べる中で発見されたという。なお、初期の研究ノートでは「Dollar-Yen Approximation」と書かれていたが、後にを省略した結果、現在の表記に落ち着いたとされる[3]。
定理の主張[編集]
$¥ Lemma の主張は、任意の行列 $A$ が、交換半径 $r<1$ を満たすとき、ある局所同型 $\phi$ によって $\phi(A)$ が「$-形」および「¥-形」の二つの標準形に同時分解される、というものである。ここでいう標準形は、行列式ではなく「記号重心」の最小化によって定義される。
より厳密には、符号付き格子 $L$ に対し、局所対称核 $K(L)$ が可換環 $R[\$ , ¥]$ 上で有限生成であるならば、$\$ と ¥ の交換子は必ず 0 に収束する。これにより、写像の向きを反転してもが保存されることが示された。
ただし、補題の成立には「記号の角度差が 17 度以下であること」という幾何学的条件が必要であり、この閾値はとされることが多い。もっとも、当時の論文では測定誤差として 16.8 度から 17.3 度までの範囲が併記されており、編集者間で長く議論が続いた。
証明[編集]
証明は、が導入した「貨幣正規化補題」を起点とする。まず、任意の記号列を上の回転群に埋め込み、$ と ¥ をそれぞれ左螺旋、右螺旋の生成元として解釈する。次に、格子の各基底ベクトルに対し「視覚重み」を与え、重み和が最小となる配列を探索する。この段階で、は、重み関数に 0.618 を掛けると収束が急激に良くなることを示した。
核心は、交換子 $[\$,¥]$ を一度だけ分解した後、にで開かれた非公開セミナーで提案された「逆向き積分」にある。これにより、局所座標の片側だけを変形しても全体の位相類が変わらないことが証明された。実際、計算例では 4096 個の試験格子のうち 4095 個で主張が確認され、残る 1 個は内のコピー機の故障により未検証のまま残されたと記録されている。
最後に、Whitcombe は補助補題として「記号の影が単調減少ならば、ラグランジュ乗数は貨幣記号を好む」と述べた。これは後年、同僚のによって簡潔化され、現在の証明は 3 行程度に圧縮されているが、原論文では 48 ページを要した。
歴史的背景[編集]
$¥ Lemma の起源は、にの前身とされる小規模研究班で行われた「記号幾何学月例会」にさかのぼる。この会合では、数式中の記号が印刷ズレによって別の意味を持つことが問題視され、ある若手研究者が「$ と ¥ は、実は同じ楕円曲線の二つの座標ではないか」と発言したことが契機になったという。
その後、にの H. M. Whitcombe が来日し、の下宿で開催された勉強会に参加した。そこで彼は、日本語の縦書き資料を逆順に読むと補題の条件が自然に現れることを発見し、以後この定理は「縦書き補題」とも呼ばれた。なお、最初の草稿には「Yen-dollar symmetry」という別名が付されていたが、通貨の順序をめぐってから問い合わせがあったため、表題は中立的な記号表記に改められたとされる。
1987年の公表後は、への応用が注目され、では「$¥ 演算室」が設けられた。しかし一方で、定理があまりにも記号依存的であるとして、当時の一部研究者からは「補題というより暗号である」と批判された。これに対し、真鍋は「暗号に見えるのは、証明が通貨制度より複雑だからである」と応じたと伝えられている。
一般化[編集]
後続研究では、$¥ Lemma はやへと一般化された。特ににの A. R. Delaney が示した拡張版では、二つの貨幣記号に加えて「未確定通貨」を表す空白記号を導入し、三元対称性を満たす格子に対して同型写像が存在することが証明された。
また、の研究グループは、記号を通貨ではなく天気記号に置き換えた「$¥-type weather lemma」を提案した。ここでは雨傘記号との交換可能性が議論され、梅雨期の測定誤差を 12% 低減できると報告された。ただし、この結果はサンプル数が 7 と少なく、現在でも再現性に関して議論がある[4]。
さらに、の S. Moreau は、$¥ Lemma を超関数環に持ち上げることで、交換半径の制約を 0.73 まで緩和できると主張した。これは「小数点以下の切り捨てにより貨幣記号の威力が増す」という独特の解釈を含んでおり、数学界では賛否が分かれている。
応用[編集]
応用として最も有名なのは、における記号整流である。1990年代後半、の内部報告では、$¥ Lemma を用いると為替モデルの座標系が 1.7 倍だけ安定化することが示されたとされる。もっとも、この報告は一般には公開されておらず、引用の多くは会議録の抜粋に依存している。
では、巨大な式変形の際にドル記号と円記号を同一視することで、メモリ使用量を平均 23% 削減できるとされた。特にでは、式変形ソフトに $¥ Lemma を組み込んだところ、出力の見た目が整いすぎて人間が誤りを検出しづらくなるという副作用が報告された。
また、教育分野でも奇妙な影響があった。いくつかの予備校では、難解な代数学の説明を「$¥ の入れ替え」として教えることで理解率が向上したと宣伝したが、実際には試験問題に出題されないことが多かったため、受講生からは「わかった気がするだけの定理」と評された。
脚注[編集]
[1] 石田リチャード・真鍋「記号格子における局所同型の貨幣的解釈」『数理記号学評論』第14巻第2号、1988年、pp. 41-79。
[2] H. M. Whitcombe, “On the Dollar-Yen Symmetry in Signed Lattices,” Journal of Symbolic Geometry, Vol. 22, No. 4, 1987, pp. 201-233.
[3] 渡辺精一郎『印刷ズレと数学表記の変遷』中央数学出版、1991年、pp. 118-127。
[4] M. L. Fenwick, “A Small Sample on Weather-Type Lemmas,” Proceedings of the International Congress of Imaginary Analysis, Vol. 3, 1995, pp. 9-17。
[5] A. R. Delaney, “Three-Currency Generalization of the $¥ Lemma,” Annals of Applied Cryptographic Forms, Vol. 8, No. 1, 1994, pp. 55-88。
[6] 佐伯園子「記号角度差17度仮説の再検討」『京都記号学紀要』第6号、1992年、pp. 3-21。
[7] S. Moreau, “Fractional Relaxation in Superfunction Rings,” Revue de Mathématiques Monétaires, Vol. 11, No. 2, 2001, pp. 144-169。
[8] 田嶋慶一『縦書き逆読法と補題の位相』東亜数理社、2004年、pp. 201-246。
関連項目[編集]
脚注
- ^ 石田リチャード・真鍋『記号格子における局所同型の貨幣的解釈』数理記号出版, 1988年.
- ^ H. M. Whitcombe, “On the Dollar-Yen Symmetry in Signed Lattices,” Journal of Symbolic Geometry, Vol. 22, No. 4, 1987, pp. 201-233.
- ^ 渡辺精一郎『印刷ズレと数学表記の変遷』中央数学出版, 1991年.
- ^ M. L. Fenwick, “A Small Sample on Weather-Type Lemmas,” Proceedings of the International Congress of Imaginary Analysis, Vol. 3, 1995, pp. 9-17.
- ^ A. R. Delaney, “Three-Currency Generalization of the $¥ Lemma,” Annals of Applied Cryptographic Forms, Vol. 8, No. 1, 1994, pp. 55-88.
- ^ 佐伯園子『記号角度差17度仮説の再検討』京都記号学紀要, 第6号, 1992年, pp. 3-21.
- ^ S. Moreau, “Fractional Relaxation in Superfunction Rings,” Revue de Mathématiques Monétaires, Vol. 11, No. 2, 2001, pp. 144-169.
- ^ 田嶋慶一『縦書き逆読法と補題の位相』東亜数理社, 2004年.
- ^ Margaret L. Fenwick and R. Tanaka, “Normal Forms for Currency Operators,” Tokyo Journal of Abstract Structures, Vol. 17, No. 1, 1989, pp. 1-29.
- ^ 岸本良平『貨幣記号と局所正規化』日本記号数理学会出版, 1990年.
外部リンク
- 東京記号幾何学協会
- 国際貨幣定理アーカイブ
- 数理記号研究データベース
- 京都逆読セミナー記録集
- Signed Lattice Review