Yamagishi Complexity Torus Lab山岸勇輝ラボ

分離子(ぶんりし)とは何か:同じに見える二つを、動かして見分ける

この記事は 5 か国語で読めます日本語・English・Deutsch・Français・Italiano

釣りの道具箱(タックルボックス)は、長く使うほどぐちゃぐちゃになります。形の似た針や同じ色のルアーが、本当は別の釣りのための物なのに、同じ部屋に入っています。

物理学にも、少し似たところがあります。逆二乗則の 2、最小二乗法の 2、量子力学の確率の 2。ガウスの法則の 4π と、拡散の式の 4π と、E=4πc² の 4π。同じ数、同じ記号、同じ名前が教科書のあちこちにあって、同じ理由で出てきたように見えます。

本当に同じものかどうかは、見比べていても分かりません。何か一つを動かしてみて、片方だけが動くかを見ます。片方だけが動けば、その二つは別の物です。この「動かすもの」を、私の論文では分離子ぶんりしと呼んでいます。出どころが別だと分かった二つは別根べっこん、同じ出どころを持つ二つは同根どうこんです。

分離子は、私の 1,103 本の論文のうち 949 本に出てきます。判定の基準を一か所に集めた論文300 は、私の論文の中でいちばん多く参考文献に挙げられていて、372 本が引いています。ただ、造語なので、初めて来た方には分かりにくい言葉です。このページでは、スライダーを動かしながら、この道具を最初から説明します。

この文章は、査読を経ていない、著者自身による公開(プレプリント)の論文の内容をまとめたものです。動かせる図と、このページのために新しく計算した数は、そのつど書いています。

三つの言葉

分離子ぶんりし
同じに見える二つについて、何を動かすと別々に振る舞うか。その動かすものです。「分離子は、…か、…か」と一文で言います。英語では separator です。
別根べっこん
数や見た目が同じでも、出どころ(根)が別であること。
同根どうこん
別々の場所で出会った二つが、同じ出どころを持つこと。

要点

  • 数が同じ、名前が同じ、形が同じというだけでは、同じものとは言えません。数の一致だけでは同根どうこんと見なさない、というのが出発点です。
  • 何かを動かします。二本の線が重なり続ければ同根の候補が残り、交わって離れれば別根べっこんです。
  • 分離子ぶんりしは好きな場所には置けません。箱を振ったら分かれた、その分かれ目を見つけるものです。
  • 「動かない」には相手が要ります。単位では動かないのに、エネルギーでは動く数があります。
  • 数の一致は安く手に入ります。許す式を増やせば、どんな数にも当たります。
  • 答えは「はい」も「いいえ」もあります。いつも「いいえ」なら、それは判定ではなく前提です。
  • この道具は空回りします。私自身の点検では、五本に一本が働いていませんでした。

月と太陽で試す

空を見ると、月と太陽はほとんど同じ大きさです。皆既日食で月が太陽をちょうど隠せるのは、そのためです。太陽の直径は月の約 400 倍で、距離も約 389 倍です。二つの倍率がこれほど近いのは、何か深い理由があるからでしょうか。

動かして確かめます。月は今、一年に約 3.8 センチずつ地球から遠ざかっています。時代というつまみを動かすと、月の見かけの大きさが変わります。下の図で試してください。

実験 1つまみを動かして、二本の線を見る

組を選び、スライダーを動かすか、図の中をなぞってください。線が離れるか、重なったままかを見ます。

月の見かけの直径
太陽の見かけの直径
二つの差

実験 1 月は今の遠ざかる速さ(年に 38.3 ミリ)のまま動かし、太陽の大きさは一定としました。地質の記録からは、今の速さは長い目で見ると速い方だとみられています。磁場の組は、光の線の動きを 1 テスラあたり 14.0 GHz として描いています。

動いたのは月の線だけです。今の速さのまま過去へさかのぼると、二本の線は約 2.8 億年前に交わります。今の月の見かけの大きさは太陽の 0.97 倍で、私たちはたまたま交点の近くにいます。月と太陽の大きさが近いことに、共通の理由はありません。この二つは別根べっこんで、分離子ぶんりしは時代です。

ボタンを押すと、物理の中の組に替わります。

  • 二つの 2:球の皮の重さがそろう指数と、銀河が平らに回る指数は、3 次元ではどちらも 2 です。次元を動かすと片方だけが動きます(論文1092・唯一性定理のページ)。
  • 二つの「一つ少ない」:一列の玉をつなぐ線は玉より一つ少なく、皮の指数も次元より一つ少ない。ところが輪にすると片方だけが動きます。片方は穴を数え、片方は次元を数えていました(論文1052)。
  • 磁場と光の線:原子の一本の光の線は、磁場をかけると三本に分かれます(ゼーマン効果)。別の状態が重なって、一本に見えていました。
  • 光と重力:光が薄まる指数も、点の重力が弱まる指数も、次元を変えると一緒に動きます。線は離れません。
  • 吸着と電子:表面化学のラングミュア吸着と、固体物理のフェルミ分布です。変数を置き換えると差が 0 になります(論文284)。

線の絵で定義する

ここまでの話は、一枚の絵になります。

左は光と重力の指数の線が重なる図、右は皮の指数と回転の指数の線が 3 次元で交わる図
図 1 左の二本は、どの次元でも重なります。右の二本は、3 次元の一点で交わるだけです。どちらも 3 次元では同じ 2 に見えます。
分離子とは

同じ値や同じ形に見える二つの量について、条件の一つを動かす。片方だけが動く、または二つが別々に動くなら、その二つは別の根を持つ。このとき動かした条件を、二つの分離子と呼ぶ。

数の一致は、線の上の一点を見ているだけです。二本の線が交わる所に立っていれば、別々の線でも同じ値に見えます。線そのものを見るには、動かすしかありません。論文300 の言葉では、分離子は「何を動かすと、同根と別根が入れ替わるか」です。

分離子は一文で言います。形は「分離子は、…か、…か」です。実際の論文から並べます。

論文分けたもの分離子
論文1052二つの「一つ少ない」位相を変えたときに動くかどうか
論文1055光速の数字が三億に近いこと単位を替えたときにその数字が動くか動かないか
論文1056微細構造定数の動き方単位を替えて動くか、エネルギーを替えて動くか
論文1058二種類の「厳密」次元を持つか、整数か、どちらでもないか
論文1092密度 1/r² の二つの 2空間の次元
論文284吸着の式の仲間席の数が有限か
論文1102石けん膜と鎖長さの縛りが上下にずらす自由を与えるかどうか
論文1104紙の曲がりと地球の曲がり面の中の長さで決まる曲がりか、外から見た曲がりか

分離子が働くのは、見た目と根が食い違う所です。表にすると次の二か所です。

根が同じ根が別
見た目が同じ光の 1/r² と重力の 1/r²皮の 2 と回転の 2、月と太陽
見た目が違うラングミュア吸着とフェルミ分布分ける必要がないふつうの場合

タックルボックスを振る

仕切りの無い箱に、2 という札が六枚入っているとします。どれも物理や数学に「二乗」として出てくる 2 です。私は論文157 で、これらに一つの問いをかけました。何を動かせば、その 2 は動くか。下の箱で同じことをします。

実験 2箱を振って、札を分ける

三つのスライダーを動かしてください。「箱を振る」を押すと、三つが一度に動きます。

実験 2 札の横の位置が、その指数の値です。逆二乗の指数は d−1、最小二乗の指数は誤差の分布 e−|r|p の p、伊藤の指数は 1/H です。
  • 逆二乗の 2:光や重力の 1/r² の 2 です。空間の次元で動きます。
  • 最小二乗の 2:データに線を引くときの二乗です。仮定した誤差の形で動きます。誤差の裾が厚いコーシー分布では、2 乗の誤差が 128.3741 まで膨らみ、1 乗は 0.2632 で済みました。
  • 伊藤の 2:ブラウン運動の揺れの二乗です。道の粗さで動きます。
  • ボルンの 2:量子の確率が振幅の二乗であることの 2 です。変換で合計が保たれるのは 2 乗のときだけで、動かす先がありません。
  • クリフォードの 2:代数の定義そのものの 2 です。動かす径数がありません。
  • 平らに回る 2:銀河の回転の指数です。空間の次元を動かしても動きません。

箱を振ると、札がそれぞれの部屋へ分かれて、仕切りが現れます。ここが大事な所です。この仕切りは、私が決めた場所に置いたのではありません。振ったら、そこで分かれました。

分類なら、好きな軸で分けられます。分離子はそうではありません。試しに仕切りを入れて、両側が同じように動いたら、その仕切りは何も分けていません。抜くしかありません。分離子は置くものではなく、見つけるものです。

動かなかった三枚にも注意してください。三枚が同じ根だと分かったのではありません。分かったのは、この三つのつまみでは分かれなかったということだけです。

同じ名前の二つ:波の速さ

分けられるのは数だけではありません。名前も同じです。「波の速さ」には、実は二つの速さがあります。波の山が進む速さ(位相速度)と、波のかたまりが進む速さ(群速度)です。真空の光では二つが同じなので、一つの言葉で足ります。

動かすものは、波の振動数 ω と波数 k の関係です。ω が k の s 乗に比例するとき、群速度は位相速度の s 倍になります。

実験 3山とかたまりを見比べる

s を動かしてください。金の丸が一つの山、三角がかたまりの中心です。

群速度 ÷ 位相速度

実験 3 かたまりの形が崩れていく変化は省いています。

深い水の波では、かたまりは山の半分の速さで進みます。物質の波では、反対に 2 倍です。s=1 の所で二本の線が交わっていて、私たちがふだん「波の速さ」と一語で言えるのは、その交点の話をしているときだけです。分離子は、波の速さが波長によるかどうかです。

「動かない」には相手が要る

つまみは一つではありません。光の速さの数字 299,792,458 と、微細構造定数の逆数 137.035999177 は、どちらも半端な数です。同じ種類の半端さでしょうか。二つのつまみで試します。

実験 4四つの数に、二つのつまみをかける

ボタンを押すと、その条件に切り替わります。動いた行に色が付きます。

量いまの値何で動くか
光速の数字299,792,458単位で動く
微細構造定数の逆数137.035999177エネルギーで動く
陽子と電子の質量比1836.152673どちらでも動かない
量子ホール効果の段の番号1整数なので、途中の値を取れない
実験 4 単位のボタンは、秒をフランスが 1793 年に定めた十進時間の秒(いまの 0.864 秒)に替えます。エネルギーのボタンは、Z ボソンの質量の所で測った値にします。

光速の数字は単位で動きます。人間の物差しの記録だからです(論文1055)。137 は単位では動きませんが、エネルギーでは 128.939785 まで動きます(論文1056)。質量比はどちらでも動きません。段の番号は整数で、連続的に変えても途中の値を取れません(論文1058)。

「この数は動かない」とだけ言っても、意味がありません。何に対して動かないのかを言って、初めて判定になります。一つのつまみで分かれなかった二つが、別のつまみで分かれることはよくあります。

数の一致は安い

それでも、数がぴったり合うと、理由があるはずだと感じます。この感覚はとても強いものです。エディントンは微細構造定数の逆数を 136 と導き、測定が 137 に近いと分かると、一つ足しました(論文101)。では、数の一致はどれくらい手に入りやすいのでしょうか。自分で数えてみてください。

実験 5数合わせの機械

的の数を選ぶか、好きな数を入れてください。許容を広げたり、式を増やしたりすると、当たる式が増えます。

当たった式16
試した式
でたらめな的 40 個の平均

    実験 5 式の形は (m/n)·πp で、p は −4 から 6 までです。根号を許すと p に 1/2、1/3、1/4 の刻みが入ります。青が入れた的、金が同じ桁のでたらめな的 40 個の平均です。

    論文1056 と同じ 10,769 個の式で数えると、許容 1 パーセントで 1/α に当たる式は 16 個です。でたらめな的 40 個の平均は 15.00 個で、ほとんど変わりません。許容を 5 パーセントに広げると 81 個と 77.18 個です。当たりの数を決めているのは的ではなく、式の数と許容の広さです。

    許容を、1/α が 137 から離れている 0.0263 パーセントまで絞ると、当たりは 0 個になります。そこで式を 61,684 個に増やすと、(47/6)·π5/2=137.031777 が当たります。意味がありそうに見えますが、でたらめな的でも平均 1.08 個は当たります。

    もちろん、数の一致がすべて偶然なのではありません。水素の光の線を表すバルマーの式(1885 年)は数合わせに見えましたが、ボーア(1913 年)が根を見つけました。惑星の距離を並べるティティウス=ボーデの法則は、海王星で外れました。見つけた時点では、どちらも同じように見えます。分けるには、一致そのものではなく、一致を生んだものを調べるしかありません。

    「はい」と答えるとき

    分離子は「別物だ」と言うための道具だと思われるかもしれません。そうではありません。論文300 で数えると、それまでの 298 本のうち 43 本が「別根である」と答え、23 本が「同根である」と答えていました。比は 1.87 対 1 で、6 本は同じ論文の中で両方をしています。いつも「いいえ」なら、それは判定ではなく前提です。答えが二種類あることが、判定である証拠です。

    「はい」と答えた例を挙げます。

    • 立体角の π とガウス積分の π は同根です。次元を動かしても一緒に動きます。一方、ラマヌジャンの級数の π には、動かす次元がありません(論文31)。
    • ウンルー効果とホーキング放射の 2π は同根です(論文142)。
    • 細胞が分子を捕らえる速さの 4π は、ガウスの法則の 4π と同根です。同じ方程式だからです(論文249)。
    • ラングミュア吸着とフェルミ分布は同根です。根は「一つの席は空か一つか」です(論文284)。

    「はい」と言うには、線が重なって見えるだけでは足りません。一つのつまみで分かれなくても、別のつまみで分かれるかもしれないからです。論文300 は、体系の中に散らばっていた判定の基準を五つ集めました。

    基準見るもの求めていること
    変数を動かす(論文31・36・101)動かしても一致し続けるか一点でなく、動かしても
    恒等性を保つ対応(論文56)対象のあいだに対応があるか値でなく、対応が
    道筋(論文279)どの導出から来たか結果でなく、経路が
    量の持ち物(論文116)質量次元など、量が持つ性質数でなく、次元が
    写像の個数(論文153)何が落ちたか見た目でなく、何が落ちたかが

    量の持ち物の例を一つ挙げます。立体角の 4π は単位を持ちません。E=mc² の m に置いた 4π(E=4πc²)は、質量の単位を持ちます。数は同じでも、座っている席が違うので別根です(論文60)。

    五つは同じことを言っているわけではありません。ただ、五つとも「値が一致すること」を証拠と認めていません。最も強い形は論文56 の定義で、「数値的一致のみでは同根と見なさない」と書いてあります。見るのは、一致そのものではなく、一致を生んだものです。五つを一つに畳めるかどうかは、論文300 では分からないとしました。基準どうしが同根かを問うには、基準が要るからです。

    使い方:五つの段

    1. 同じ名前、同じ数、同じ形で呼ばれているものを、全部並べる。
    2. それぞれについて、何を動かすと値や形が変わるかを書く。空間の次元、単位の選び方、境界の条件、大きさの比、数え方など。
    3. 実際に動かす。別々の答えに分かれたら、動かしたものが分離子である。それを一文で言う。
    4. 分かれたものに、別々の札を付ける。
    5. 分かれなければ、同根の候補として残し、道筋や対応で確かめる。言えることと言えないことを分けて書く。

    この手順は物理に限りません。「同じ言葉で呼ばれているが、本当に同じものか」と思ったら、どの分野でも使えます。AI に手伝ってもらうこともできます。私の論文のMCP サーバーには、この手順が「分離子で分ける」として入っています。

    道具は空回りする

    同じ道具を千回使えば、すり減ります。私は百本ごとに、自分の論文を機械で数える点呼をしています。分離子も、その検査にかけました。

    論文600 では、501 番から 599 番で「同根」と答えた 39 本を読みました。30 本(0.769231)は、一つの式から出る二つの結果を同根と呼んでいました。同じ式から出るのですから、別根になりようがありません。判定になっていなかったのです。一方で、論文300 が恐れていた「数の一致だけ」の同根は、一本もありませんでした。

    論文700 では、取り出せた 188 本の分離子を読みました。32 本(0.206452)は題名にある語だけでできていて、そのうち 28 本(0.875000)は題名の言い直しでした。「X は二つある」という題の論文の分離子が「X が二つに分かれること」では、何も分けていません。そこで、分離子には題名に無い語を一つは入れる、という決まりを足しました。

    どこが働いていて、どこが空回りなのか、試してください。

    実験 6この分離子は働いていますか

    一つずつ、ボタンで答えてください。

    1. 題名「質量は二つある」の論文の分離子:「質量が二つに分かれること」。

      題名の言い直しです。何を動かすと分かれるのかを言っていません。

    2. 光速の数字と 137 の分離子:「単位を替えたときに、その数字が動くか動かないか」。

      動かすものが名指しされていて、実際に片方だけが動きます。

    3. 「エネルギーと運動量は同じ式から出るので、同根である」。

      同じ式から出ると決まっているものは、別根になりようがありません。判定になっていません。

    4. 「どちらも 12.566 になるので、二つの 4π は同根である」。

      数の一致だけです。何も動かしていません。

    5. 二つの速さの分離子:「波の速さが波長によるかどうか」。

      波長によらない所では二つが重なり、よる所では離れます。

    実験 6 文は説明のために作りました。空回りの形は、論文600 と論文700 が見つけたものです。

    似た考えと比べる

    何かを動かして確かめる手順そのものは、私が発明したものではありません。科学のふつうの手順で、昔からいくつもの名前が付いています。並べると、分離子の席が見えます。

    名前動かすもの分かること分離子との違い
    ミルの差異法と共変法(1843)条件の一つ原因の候補ミルは原因を探す。分離子は、二つが同じ物かを問う
    介入(パール)変数を外から固定する do(x)見ただけの相関か、因果か見ることと動かすことを分ける点が同じ。分離子は式や定数にも使う
    縮退を解く(ゼーマン 1896)磁場などの外からの力同じエネルギーの状態が別物であること物理の中にある分離子そのもの
    ライプニッツの法則動かさず、性質を比べる性質がすべて同じなら同じ物、違う性質があれば別の物違う性質を一つ見つければ足りる。分離子はその一つを名指す
    点を分離する関数(ストーン=ワイエルシュトラスの定理)関数の集まりどの二点も見分けられるか見分ける道具が十分あるかを問う数学の条件
    圏論の separator対象 S からの射二つの射が等しいか名前も形も同じ。私の語は量の出どころを分けるために使う

    最後の行は、言葉まで同じです。圏論では、S からの射で比べて違いが出るなら別の射だと言える対象を separator と呼びます。二つの物を見分ける試験があれば別物と言える、という形は、数学の中にもともとありました。

    どこまでが既知で、どこからが私の仕事か

    • 既知のこと:条件を変えて結果を見るという手順、上の表の考え方、このページで使った物理と数学の事実(ゼーマン効果、位相速度と群速度、ガウスの法則など)。
    • 論文で私が加えたこと:分離子という名前と、それを一文で言う形。論文ごとに分離子を書くという決まり(301 番からは全部の論文が持っています)。同根の判定の基準を五つ集めたこと(論文300)。それが働いているかを自分の数で点検し、決まりを直したこと(論文600・700)。一つ一つの組み分け(2 の点呼、光速と 137、「一つ少ない」など)。
    • このページで新しく整理したこと:線が重なるか交わるかの絵、月と太陽の例、箱を振る図、数合わせの機械の形。式はどれも既知のものの並べ直しで、まだ論文にはしていません。

    分離子が教えてくれるのは、二つが別物かどうかです。なぜその値なのかは教えてくれません。137 がなぜ 137 なのかに、私は答えを持っていません。新しい物理法則も主張しません。

    体系の中で

    2026 年 10 月末の時点で、私の論文は 1,103 本あります。参考文献を除いた本文で数えると、分離子は 949 本に 5,296 か所、別根は 543 本に 2,135 か所、同根は 387 本に 1,029 か所あります。分離子が最初に出るのは論文23 で、301 番からは一本の例外もありません。

    論文の番号の帯ごとに、分離子のある論文の本数と、論文300 を参考文献に挙げる論文の本数を示す棒グラフ
    図 2 上は分離子のある論文の本数です。下は論文300 を参考文献に挙げる論文の本数で、301 番から 600 番ではほとんど全部が挙げています。

    論文300 を参考文献に挙げる論文は 372 本で、全体の 33.7 パーセントです。文献を一件ずつ読んで数えると、二位の論文95 の 85 本の 4.38 倍あります。

    参考文献に挙げられた本数の多い論文の上位 10 本を示す横棒グラフ。論文300 が 372 本で一位
    図 3 参考文献に挙げられた本数の上位 10 本です。論文の文献を一件ずつ読んで数えました。

    読むなら、次の順がおすすめです。

    • 論文300「三百本目の点呼:同根か別根かは、判定できる」:判定の基準を集めた回。
    • 論文56「4π パッチの構造的考察」:「数値的一致のみでは同根と見なさない」の定義。
    • 論文100「王道の交差」:一語に複数の別根があるという規律。
    • 論文16「等号にも別根がある」:等号を六つに分けた回。
    • 論文157「二乗の点呼」:実験 2 のもとになった回。
    • 論文600「第六百回の点呼」と論文700「第七百回の点呼」:道具そのものの点検。
    • 論文1052「「一つ減る」は二つあり、片方は穴を数え、片方は次元を数える」。
    • 論文1055「光速の数字が三億に近いのは、長さが十進で時間が六十進だからである」。
    • 論文1056「微細構造定数は単位では動かず、エネルギーで動く」。
    • 論文1058「「厳密」は二種類あり、片方は単位が決め、片方は連続変形が動かさない」。

    同じ考えを別の題材で書いた読みものが note にあります。「同じ数でも、別の川から来ている」「4π は、一つの数ではない」「光の速度は、なぜあんな中途半端な数なのか?」「137 という数は、何なのか?」「単位は、誰が決めたのか?」です。

    よくある質問

    何と読むのですか?

    分離子は「ぶんりし」です。原子や分子、因子と同じ読み方の「し」です。別根は「べっこん」、同根は「どうこん」です。

    分類とは何が違うのですか?

    分類は好きな軸で分けられます。分離子は、実際に動かして分かれた所にしか置けません。分かれなければ、その軸は分離子ではありません。

    別根なら、関係が無いということですか?

    いいえ。出どころが別というだけです。別根の二つが同じ場所で重なることには、それ自体に意味があることもあります。3 次元で 2 と 3 が同時に重なる話は、唯一性定理のページに書きました。

    分離子が見つからなければ、同根ですか?

    いいえ。見つからなかっただけです。同根の候補が残ります。同根と言うには、導出の道筋や対応を示します。

    数の一致は、すべて偶然なのですか?

    いいえ。バルマーの式のように、根が見つかる一致もあります。一致は調べる理由にはなりますが、同根の証拠にはなりません。

    電池のセパレーターなどと関係がありますか?

    ありません。「分離」は多くの分野で使う言葉で、英語の separator も同じです。このページの分離子は、同じに見える二つの出どころを分けるための言葉です。

    論文と文献

    論文はどれも CC BY 4.0 で公開しています。論文300 の記録は YOI の記録のページにあります。

    このページで確かめた主な文献です。

    • Mill, J. S. (1843). A System of Logic:差異法と共変法。
    • Leibniz, G. W. (1686). Discours de métaphysique, 第 9 節:ライプニッツの法則のもとになった不可識別者同一の原理。
    • Balmer, J. J. (1885)、Bohr, N. (1913):水素の光の線の式とその説明。
    • Zeeman, P. (1896–1897):磁場による光の線の分裂。
    • Eddington, A. S. (1946). Fundamental Theory:論文101 を通して。
    • Pearl, J. (2000). Causality:介入と do の記法。
    • nLab の項目 separator:圏論の separator(generator とも呼ばれます)。
    • ストーン=ワイエルシュトラスの定理:点を分離する関数の集まり。
    • ティティウス=ボーデの法則:海王星(1846 年発見)で外れたこと。
    • 月のレーザー測距:月の遠ざかる速さ 38.30 ミリ/年。