小銪居廖劻劍の法則
| name | 小銪居廖劻劍の法則 |
|---|---|
| field | 架空解析学（離散位相格子論） |
| statement | 小銪符号列による距離縮約が、特定の「三層不等式」を満たす |
| proved_by | 居廖劻劍研究会（通称：居廖劻劍派） |
| year | 1897年 |
における小銪居廖劻劍の法則（よみ、英: theorem name）は、のについて述べた定理である[1]。本定理は「小銪（しょうゆう）」と呼ばれる符号列に基づく比較原理を与えるとされる[1]。
概要[編集]
は、上で定義される距離の歪みを、符号列の設計規則と結びつけて制御するための定理である。
「小銪（しょうゆう）」と呼ばれる符号列は、格子点の添字に対しを割り当てる操作として導入され、距離関数が満たすべき不等式を“自動で選別する”仕組みを与えると説明される。
同法則の流行は、単に数理的な整合性だけでなく、都市インフラの検査結果を一律の“距離規格”に写像する実務が現れたことにより加速した、との回想が多い。とりわけの保守部門が「三層不等式で現場差が消える」として講習を開いたと伝えられている[2]。
定理の主張[編集]
L上の距離 d が、各辺に付された符号 w によって歪められているとする。ここで符号列 w は、整数 i に対し i mod 3 ごとに重みを変えるものとし、w(i)∈{−1,0,1} を満たすと定義される。
このとき、w が「小銪符号列」であることを仮定すると、任意の格子点 x,y に対して次が成り立つ：
(1) d(x,y) を基準距離 D(x,y) と比較すると、D(x,y) の 1.0075倍以下に縮約される領域が存在する。
(2) さらに、任意の中継点 z を選ぶと三層不等式 D(x,y) ≤ d(x,z)+d(z,y) ≤ 1.015·D(x,y)+0.0009·|x−y| が満たされる。
(3) その上で、符号の和 Σ_{i=a}^{b} w(i) が 0 になる“均衡区間”では、上界の係数 1.015 が 1.003 に置き換わる。
以上の条件は、格子の局所位相条件としてと呼ばれて整理されることが多い。なお係数 1.0075 と 1.015 と 0.0009 は、当初は実務上の許容差から逆算されたものとして記録されている[3]。
証明[編集]
証明は、符号列 w をもつときに構成されるφ に帰着する形で示される。
まず w に基づき、各格子辺の“縮約係数”を r(e)=1+w(e)/4 と置く。このとき r(e) は必ず 0.75〜1.25 の範囲に入るため、パス長の推定にが適用される。すると任意の経路 γ に対し、d(x,y) ≤ (∏ r(e))·D(x,y) の形の評価が得られる。
次に、三層不等式を導くため、経路 γ のうち i mod 3 が同じ辺だけを抜き出した部分経路 γ0,γ1,γ2 を定義する。ここで各 γk の寄与は、符号の偏りにより上界が異なるため、Σ w(i) の偶奇に相当する“位相残差”を導入する必要があるとされる。
その結果、均衡区間（Σ w(i)=0）では位相残差が消え、1.015 の項が 1.003 に落ち着くことが示された。証明の途中で用いられる補題は「零和偏差補題」として分冊で出版されたとされ、当該補題だけで全 142頁を要したとの記述がある[4]。なお、別系統の講義ノートでは、1.0075→1.015 の“つなぎ”が計算上 17回すり替えられたと記されており、編集史的には「面白いが再現が難しい」扱いである[5]。
歴史的背景[編集]
小銪居廖劻劍の法則の起源は、19世紀末にが発行した『道路距離規格試案』にあるとされる。
同試案では、内の検査路線における“距離の揺れ”が、現場ごとの計測器差ではなく、都市内の信号網（符号列に相当）が原因だとされた。ここから、距離は固定値ではなく“符号付き地形上の関数”として扱うべきだという議論が起きた。
この議論を数学化したのが居廖劻劍派であり、彼らは大阪港を模した格子模型を作り、実測データから 1.0075 や 1.015 という係数を推定したと主張した。とくにの共同研究施設において、3日間で 3,204 本の測線を切り替え、符号列を 3種類に分類したという具体的な記録が残っている[6]。
一方で、その同定手法が恣意的だとして、学会内で「計算値が先、理屈が後ろではないか」という反論が出たとされる。ただし居廖劻劍派は「理屈は後から来るのではなく、現場の許容差が先に理屈を要求する」と返した、という逸話が有名である[7]。
一般化[編集]
その後、同法則はへ一般化され、符号が {−1,0,1} の 3値に限らないモデルへ拡張された。
一般化された枠組みでは、w(i)∈{−m,...,0,...,m} とし、縮約係数 r(e)=1+w(e)/(4m) を採用すると定義される。このとき三層不等式は、係数 1.015 が 1+0.015/m の形へ置換され、均衡区間では 1+0.003/m まで改善されると報告された。
さらに、格子点の近傍が“3つに割れる”という条件を緩め、を導入する試みもあった。この場合、理論は一見うまく動くものの、実務での検査工程が 12%増加したとされる。そのため四層版は研究室では定着せず、現場では三層版が選ばれた、と言われている[8]。
応用[編集]
小銪居廖劻劍の法則は、距離の歪みを一定範囲に閉じ込めることができるため、やに応用されたとされる。
たとえば配管では、経路の選択により実効距離が変動しやすい。そこで各接続点を格子点に対応させ、接続順序が小銪符号列になるように自動生成することで、実効距離 d が基準距離 D に対して一定割合以下に抑えられると説明された。
また、通信では距離ではなく“遅延”が問題になるが、遅延を距離類似量として扱う発想により、同法則がとして講じられるようになった。特にでは、学校向け端末の一斉更新において「均衡区間（Σ w(i)=0）を作ると最上界が 1.003 に落ちる」として、更新順序の設計指針が配布されたという[9]。
ただし、係数が実務の安全マージンとして固定されると研究の柔軟性が失われる、という批判も出た。ここは、学会誌の編集方針としても“数学の話をしすぎない”という慣行につながったと回顧されている[10]。
脚注[編集]
関連項目[編集]
脚注
- ^ 居廖劻劍『小銪居廖劻劍の法則と三層不等式』測度工学局出版, 1898年.
- ^ 渡辺精一郎『離散位相格子の距離歪み: 実務係数の導出』京都数学叢書, 1902年.
- ^ Dr. Margaret A. Thornton『On Sign-Sequenced Contractions in Lattice Metrics』Journal of Applied Lattice Theory, Vol.12, No.3, pp.141-187, 1911.
- ^ 山田錠三郎『零和偏差補題の再構成』名古屋技術学院紀要, 第5巻第2号, pp.1-142, 1909.
- ^ 『居廖劻劍派講義録（非公開抜粋）』居廖劻劍研究会, 1899年.
- ^ 伊藤澄夫『道路距離規格試案の統計的再解釈』大阪港技術会報, Vol.3, pp.55-92, 1901.
- ^ René Delacroix『Discrete Topology and the Three-Layer Inequality』Annals of Speculative Mathematics, Vol.7, Issue 1, pp.9-33, 1920.
- ^ 田中鉦太郎『四層整合条件の失敗例と工程増』東京都教育施設技術研究会, 第1巻第1号, pp.77-108, 1932.
- ^ K. S. Rahman『Delay Containment as Metric Analogy』International Review of Pseudo-Metrics, Vol.18, No.4, pp.201-260, 1956.
- ^ 『道路距離規格試案: 異本（タイトルが微妙に異なる版）』測度工学局出版, 1898年.
外部リンク
- 小銪居廖劻劍研究会アーカイブ
- 離散位相格子ライブラリ
- 三層不等式ノート集
- 測度工学局・旧規格資料室
- 遅延封じ込め原理講習