餃子定数
| name | 餃子定数 |
|---|---|
| field | 架空数学（格子皮膜安定論） |
| statement | 皮膜の“折り目”を表す格子写像が一定の条件を満たすとき、折り目密度は餃子定数で一意に固定される |
| proved_by | 渡辺精一郎（仮説検食学派） |
| year | 1927年 |
における餃子定数（よみ、英: Gyoza Constant）は、のについて述べた定理である[1]。
概要[編集]
は、格子状の皮膜モデルにおける折り目密度の“落ち着き”を数で固定するために導入された、架空数学の定理である。
定理は、皮膜を折りたたむ操作を格子写像として定式化し、折り目の局所的な矛盾が一定の“食感的”整合条件を満たす限り、折り目密度がある定数 C に収束することを主張するものである。C は、後に大陸横断鉄道の車両内温度分布を模した実験データに合わせて定義されたとされる。
なお、初期の学派では餃子（餡入り）そのものが統計対象であったが、数理の精密化により“皮膜”のみに置き換えられた経緯が知られている。結果として、定数は値そのものより「いつ一意に決まるか」が中心主張となった。
定理の主張[編集]
格子皮膜モデルを、次数 6 の有限格子 G と、折り目操作を表す自己準同型 f: G → G として定める。
このとき、折り目密度を表す量 ρ(f) を G の境界近傍における“ねじれ”の割合として定義すると、折り目整合条件（各単体での局所平衡、ならびに隣接折り目間の位相差が 1/（n+1）で抑えられる条件）を満たす f について、次が成り立つ。
・ρ(f) = C ・ただし C は、格子の辺数 |E|、格子の面数 |F|、および整合条件の強度パラメータ λ によって C = (|E| − |F| + 1) / (λ + 1) と表される。
また、C は同じ |E|・|F|・λ を共有する任意のモデルに対して一意であり、さらに ρ(f) は操作回数 k に関して一定であると示される。
証明[編集]
証明は、が提示した“折り目検食補題”に基づくとされる。補題は、折り目写像 f の像を段階的に縮約していく操作が、各段階で測度（皮膜のねじれ分布）を保存することを仮定するとき、最終縮約での密度が変化しないことを示したものである。
具体的には、格子 G の各面に番号を付し、面 i について局所ねじれ s_i を s_i = ⌊1000·i/(|F|+3)⌋ mod 7 の形で“雑に”記録する。ここで 1000 は語呂合わせ由来で、後年の批判で「桁を増やすと真理っぽく見える」などと指摘されたが、当時の編集者は一切修正しなかったとされる。
局所ねじれ s_i から境界ねじれの合計 S を S = Σ_i s_i とし、整合条件 λ を S の 3段階評価（低・中・高）で与えるとする。すると、各段階で C の式が不変であることが示され、結果として ρ(f) = C が成り立つ。
最後に、収束ではなく“不変”として結論する点が特徴である。実際、操作回数 k によらず ρ(f) は一定であると示されるため、以後の一般化研究では「収束」ではなく「保存」として再定式化された。
歴史的背景[編集]
餃子定数が注目されたのは、1920年代に（東京府・京橋地区を拠点にすると記録される）で、折り畳み包装の“破れ”率を定量化する需要が高まったことに由来するとされる。
当時の技術者は、包装紙を格子状にスコアリングし、破れが増える条件を「餃子の皮が薄くなるタイミング」と比喩したという。これが数理化され、研究ノートには“餃子の皮は、数理的には境界のねじれで決まる”という趣旨の発言が残っているとされる。
一方で、定理の最初期版は C の分母に λ ではなく |E| を置いていたため、の試験工区では値が 1.333… と安定せず、修正が行われた。編集作業を担ったのはの写字係で、ページ端の余白に「1/3は縁起が悪い」との手書き注が見つかったと伝わる。
なお、1927年にが刊行した「折り目検食報告」では、餃子定数を “検食の平均値”として説明し、数学的定理であることが後付けされたとも指摘されている。
一般化[編集]
一般化では、有限格子に限定せず、無限格子に拡張する試みがなされた。ここで ρ(f) の定義を、境界に収束する“ねじれ密度”として再定義すると、有限性仮定が外れても同型不変量として C が登場する。
さらに、整合条件 λ を離散的評価ではなく、実数値の滑らかさ指標として導入する流れが生まれた。この際、餃子定数は C(λ) と表され、λ → 0 の極限で C が (|E| − |F| + 1) に一致すると示される。
ただし、この一般化では証明中の床関数（⌊ ⌋）の扱いが急に難しくなり、「床関数が“皮の粗さ”を表す」という説明が追加された。結果として、数理の体裁を保ったまま直観を重視した説明書きが増え、学派内部での合意が揺れた。
この揺れは、の大学付属センターで行われた再現実験（格子の材質を変えたとされる）で、C(λ) の微妙なズレが報告されたことで決定的になった。
応用[編集]
餃子定数は純粋数学に限らず、包装工学や情報圧縮に似た操作へ応用された。とくに、の物流倉庫で導入された“折り目スケジューラ”は、格子写像 f を操作順序として割り当て、ねじれ密度が一定になるよう調整する方式である。
この方式は、計算量を抑えつつ破れ率を下げることが期待され、実測では 1日あたり 247,000 梱包に対し破れ事象が 0.84%から 0.77%へ低下したと報告された[2]。もっとも、同報告書には「餃子定数のCは“たまたま合った”可能性を否定しない」旨が併記されており、学術会議では笑いを誘った。
また、情報分野では、階層的な圧縮における局所矛盾を制御するために、同型不変量として C が使われた。ここでは “折り目”が “符号化段”に置換されるため、C は暗号学的安全性の代理指標として扱われたとされる。
さらに、後年の民間企業が「C＝餃子の好み」を売りにしてしまい、定理の数学的意義が薄れるという副作用も指摘された。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「折り目検食補題と餃子定数」『格子皮膜論叢』第3巻第1号, 1927年, pp. 12-39.
- ^ 森田文書課編『帝国折り目研究所年報（京橋版）』学術院出版局, 1929年, pp. 201-219.
- ^ E. H. Thompson, “Invariance of Boundary Twists in Lattice Encapsulation,” Vol. 14, No. 2, Journal of Imaginary Topology, 1931, pp. 77-93.
- ^ 佐々木律子「ねじれ密度の保存則としての定理の再解釈」『日本応用架空数学会誌』第8巻第4号, 1952年, pp. 301-327.
- ^ Karel Novák, “Smoothing Parameters and Gyoza Constants,” Vol. 2, Issue 7, Proceedings of the Sandwich Geometry Society, 1966, pp. 44-58.
- ^ 田中啓介「床関数が粗さを表すという主張の妥当性」『離散測度通信』第11巻第3号, 1978年, pp. 5-23.
- ^ 李承煥「無限格子における境界密度の同型不変量」『極限折り目研究紀要』第21巻第1号, 1990年, pp. 1-18.
- ^ M. A. Thornton, “Cryptographic Proxies from Folding Invariants,” Vol. 39, No. 9, Cryptography and Unlikely Measures, 2003, pp. 901-918.
- ^ 学術院出版局「餃子定数—公式注釈と訂正履歴」『付録：編集者の手癖集（第2版）』学術院出版局, 1930年, pp. 3-11.
- ^ （書名が微妙におかしい）Watanabe Seiiichirō, “The Constant That Smelled Like Dumplings,” Press of Translational Misprints, 1928, pp. 55-60.
外部リンク
- 格子皮膜アーカイブ
- 帝国折り目研究所デジタル写本
- 餃子定数計算機（非公式）
- 包装ねじれ指数フォーラム
- 架空数学翻訳メモ