芋づる式
| 定理名 | 芋づる式の定理 |
|---|---|
| 分野 | 組合せ代数と数え上げ位相 |
| 主張 | 根から伸びる連鎖条件を満たすとき、全頂点の局所不変量の総和が一致する |
| 証明者 | 清水柊馬（しみず しゅうま） |
| 成立年 | 1973年 |
における芋づる式の定理（よみ、英: theorem name）は、のについて述べた定理である[1]。
概要[編集]
は、連鎖を手がかりに大域的な結論を得る手法として語られ、特にでは局所条件が連鎖して全体へ波及する現象が顕著であるとされる。
本定理は、根を含むが特定のを満たす場合に、各頂点で定義されるの総和が、枝の数え上げにより決まる量と一致することを主張する。なお、定義の仕方が一見形式的であるにもかかわらず、証明の核心に「芋づる式に証拠がつながる」という比喩が埋め込まれている点が特徴である。
このため、実際の計算では「まず1本目の枝を確かめ、そこから次の枝へ、さらに次の枝へ」という順序が推奨され、結果として研究者の間では証明戦略としても定着したとされる。
定理の主張[編集]
根付きのTを考え、各頂点vに局所不変量ℓ(v)が定義されるものとする。さらに、根からの距離をd(v)とし、各頂点が満たすべきを
条件A: すべてのvについて、親p(v)が存在するなら ℓ(v)=ℓ(p(v))+c·(-1)^{d(v)}·m(v)
を満たすとする。ここでcは定数、m(v)はvに付随するであり、m(v)は{0,1,2,3,5}のいずれかを取るものとする（ただし根の重みは{0,1,2}のみとされる）。
このとき、Tの全頂点集合V(T)に対し、
総和S(T)=Σ_{v∈V(T)} ℓ(v)
が、枝の数え上げ関数B(T)=Σ_{k≥0} k·N_k（N_kは距離kの頂点数）と一致し、具体的に
S(T)=c·(B(T)+χ)
が成り立つ。ここでχはと呼ばれ、葉集合L(T)に対してχ=|L(T)|−|{連鎖葉対}|という形で定義される（連鎖葉対は距離2以内の葉の組である）。
証明[編集]
定理の証明は、とを組み合わせて行うとされる。すなわち、まず根の単一点T_0について条件Aが定義どおりに成り立つことが示される。
次に、ある深さhまでの部分木T^{(h)}に対してS(T^{(h)})=c·(B(T^{(h)})+χ^{(h)})が成り立つと仮定する。深さh+1の部分木T^{(h+1)}は、深さhの各頂点から伸びるの集まりとして分解される。
ここで、条件Aにより各子頂点の局所不変量は親の値から決定されるため、S(T^{(h+1)})はS(T^{(h)})に、枝ごとの交互符号と偶奇重みの総和を加えた形になる。交互符号による打ち消しが起こるため、実際には距離の偶奇に応じたB(T)の寄与だけが残ることが示される。
最後に、葉の連鎖指標χが、枝分解の際にちょうど新しく生まれる葉対の数を反映して更新されることが示され、以上より主張が成り立つ。なお、示された補題は全8個であり、そのうち3個が「符号の取り扱いが直感を裏切る」と注記されていることが知られている[2]。
歴史的背景[編集]
起源：芋づる式という命名の逸話[編集]
この定理が「芋づる式」と呼ばれるに至ったのは、1970年代初頭に（千葉県・船橋市に所在すると記載される）の若手研究会で、ある初等命題の検算が連鎖して増殖したことに由来するとされる。
伝承では、当初の目的は「局所不変量の一致」をたった2ページで済ませる予定だったが、検算担当の清水柊馬（当時は助教）と、机上での落書きを担当していたの協力により、検算対象が3本、さらに5本へと増えたという。増えた数が偶然にも{0,1,2,3,5}に対応していたため、重みm(v)の候補がそのまま固定されたと記録されている[3]。
また命名は、会議の議事録に「芋づるが付くように証拠がくっつく」と書かれたのを、後日編集者が数学語として整形したことによる、とする説が有力である。
普及：計算機証明と組合せ代数の合流[編集]
1973年の投稿では、証明の大半が「手計算ではなく、枝の列挙を優先したアルゴリズム」で裏づけられていたとされる。実際、投稿原稿には「深さh=12までの検算を行い、不一致が出ないことを確認した」との脚注があり、当時の計算機環境としてはやや過剰であるため、後に信頼性の根拠として引用されることになった。
この成果は、の第26回大会（開催地は、当時の会場名は『海風ホール』とされる）で、数え上げ位相の研究者により「局所から大域への橋渡し」として紹介された。のちに関連する概念群が整備され、特にχは、計算機による枝の生成手順と整合するように再定義されたとされる[4]。
一方で、命名の比喩が強すぎるとして「定理名を形式名にすべきだ」という批判も同時期に見られ、学会では一度だけ“芋づる”を外した暫定名称が提案されたが、結局採用されなかったと記される。
一般化[編集]
本定理は、重みの集合{0,1,2,3,5}をより一般の半群へ置き換えることで一般化されうるとされる。具体的には、偶奇重みm(v)をMの元とし、交互符号(-1)^{d(v)}の代わりにσを導入することで、条件Aが
ℓ(v)=ℓ(p(v))+c·σ^{d(v)}(m(v))
の形に置き換えられる。これにより、総和S(T)が、B(T)に対応する別の数え上げ量と一致する類似の恒等式が得られるとされる。
また、根付き性を緩めてに拡張すると、葉の連鎖指標χが成分ごとに分解され、各成分の連結数に応じた補正項が現れる。補正項は「連結葉対の数え上げ」として定義され、計算では最長距離が17で頭打ちになる場合がある、という観察が報告されている[5]。
ただし、これらの一般化では交互符号が本質である場合と単なる形式である場合が混在するため、どの拡張が本質を保持するかは研究対象として残されている。
応用[編集]
応用の第一の例として、局所不変量ℓ(v)を確率過程の“増分”として解釈し、根から葉へ向かう累積量が枝の統計で決まる形にできる。これにより、ランダム化アルゴリズムが出力する木状構造の品質指標を、B(T)とχのみによって推定できるとする議論がある。
第二に、寄りの応用として、定理の証明手順が「問題解法の教材」として利用された経緯が知られている。たとえば、大学の講義では「深さh=4の部分木で実験し、次にh=5へ進むとき、芋づる枝の数がB(T)へ直結する」と板書されることがある。学期末テストでは、平均点が前年より13.4%上昇したとする報告が出ているが、分母の設定（受講者数が何人か）について要出典のまま残されている[6]。
第三に、幾何学への接続として、木状グラフを“折れた曲線の接続図”として見なす流儀がある。この場合、局所不変量は曲率の離散化に相当し、芋づる式の恒等式が「局所曲率の総和は折れ点の数え上げで規制される」形で使われるとされる[7]。
脚注[編集]
関連項目[編集]
脚注
- ^ 清水柊馬『芋づる式の定理と枝分かれ列の局所不変量』海風書房, 1973年.
- ^ 田丸響子『根付き木状構造における交互符号恒等式』Journal of Counting Topology, Vol.12, No.3, pp.41-68, 1976.
- ^ M. Lasker『Embedded Tree Graphs and Local Invariants』Cambridge Combinatorial Press, 1981, pp.22-55.
- ^ 鈴木琢磨『半群作用による芋づる型恒等式の拡張』日本組合せ代数雑誌, 第9巻第2号, pp.101-130, 1984.
- ^ A. Varron『Leaf Pair Statistics in Discrete Geometries』Discrete Methods & Proofs, Vol.7, No.1, pp.1-19, 1990.
- ^ 西園寺亜理『教育工学としての数学定理：芋づる式の授業設計』教育数学通信, 第3巻, pp.77-95, 1998.
- ^ 国立量子情報数え上げ研究所『計算機検算ログの公開報告（深さh=12版）』研究所報告書, 第26号, 1973年.
- ^ H. Kwon『Probability Increments on Tree Graphs』Journal of Stochastic Combinatorics, Vol.19, No.4, pp.233-257, 2005.
- ^ 清水柊馬『芋づる式の定理：訂正版』海風書房, 1973年（原著の改訂）.
- ^ 中村彩香『証明を増殖させる比喩：数学史の微視的検証』数理史叢書, 第1巻第1号, pp.13-29, 2012.
外部リンク
- Imoduro 算術アーカイブ
- 枝分かれ列ノート
- 葉対統計データベース
- 組合せ代数の講義スライド倉庫
- 計算機検算レポート集