The Yoneda lemma says that an object is completely determined by its relations to every other object. This paper asks about that word every: where does the separating power fall when the probe is weakened? And the loss turned out not to be governed by the strength of the probe. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. The Yoneda lemma, the existence of cospectral non-isomorphic graphs, and the coincidence of the character tables of the dihedral group of order eight and the quaternion group are all standard. No measured value is cited; every number is obtained by exhaustive enumeration. No category theory is developed; only the statement of the lemma is used, and neither its proof nor any generalisation is treated. Nothing is said about the complexity of graph isomorphism; this is an exhaustive count in the finite case of six vertices. No representation theory is developed; the character tables are quoted as known. It is not claimed that the Yoneda lemma justifies the method of this body of work; Section 6 exists precisely to stop that claim from being made. The relation to earlier papers. Paper 152 showed that two groups can share a character table without being isomorphic; this paper counts that phenomenon as a function of the strength of the probe. Paper 153 separated three stages of forgetting and exhibited evidence that a right adjoint is absent; this paper treats the neighbouring theorem on the same shelf. Paper 102 treated the question whether one can hear the shape of a drum; Section 3 is its finite version, counted exhaustively. Paper 163 showed that there exists and here it is are different sentences; Section 6 says that determined and computable are different sentences. The setting. Take a collection of objects and a probe, a function applied to an object that returns a value. When a probe returns the same value on two objects it does not separate them. The material is the simple graphs on six vertices, of which there are 32768 labelled ones. Three probes are used: the degree sequence, the spectrum of the adjacency matrix, and the spectrum together with the triangle count. For comparison the isomorphism type itself is included. First, the 32768 labelled graphs fall to 156 isomorphism classes, counted by applying all 720 vertex permutations and taking a canonical form. Second, the degree sequence is not enough. It takes only 102 distinct values and 84 classes survive unseparated in 30 groups. Third, the spectrum is not enough either. It takes 151 values and 10 classes survive in 5 groups. Fourth, this is the core. Adding the triangle count leaves the distinct values at 151 and the unseparated classes at 10. The triangle count is the trace of the cube of the adjacency matrix divided by six, a function of the spectrum, so adding it adds no information. Whether more probes separate more depends on whether the new one can be recovered from the old. Measure more invariants and you will eventually tell them apart is false; dependent invariants advance nothing. Fifth, strength is not a total order on separating power. The smallest pair the spectrum cannot separate has degree sequences zero one one one one four and zero zero two two two two, both with four edges and no triangles, sharing the spectrum minus two, zero, zero, zero, zero, two. The degree sequence does separate that pair. A weaker probe separates where a stronger one fails. Sixth, the same happens for groups. The dihedral group of order eight and the quaternion group share a character table and are not isomorphic. Counting the elements whose n-th power is the identity, that is the homomorphisms from a cyclic group, gives six and two at n equal to two, which separates them. The character table failed and counting maps from a single object succeeded. Yet at n equal to four the counts are eight and eight and do not separate. The same shape of probe changes its power when the test object changes, and which object works cannot be known in advance. That is why Yoneda demands every object. Seventh, this is a fence. The lemma reads as saying that a thing is determined by its relations, and the method of this body of work, writing what a thing separates rather than what it is, has a similar shape. Similarity is not justification. The Yoneda lemma is a theorem inside a category, about Hom sets and natural transformations, and a methodology is not such an object, so the lemma says nothing about it. Separate Yoneda as a theorem, where the Hom functor is fully faithful and the statement is proved, from Yoneda as a metaphor, where things are determined by relations and nothing is proved. Speaking the second with the authority of the first is the accident this body of work has spent its time avoiding. And determined does not mean computable: Yoneda says the object is determined and gives no way to find it. Closing. The Yoneda lemma demands every object, and replacing that word by a finite list loses something. What is lost is not governed by the strength of the probe: the degree sequence separated a pair the spectrum missed, and adding triangles gained nothing at all. The separator is whether the new probe can be recovered from the existing ones. Measure more and you will know is correct only when what is measured is independent. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 米田の補題は、対象は他のすべての対象との関係で完全に決まると言う。本稿が問うのは、その「すべて」である——テストする相手を減らすと、どこで分離能が落ちるか。しかも落ち方は、プローブの強さでは決まらなかった。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。米田の補題、同スペクトル非同型グラフの存在、二面体群と四元数群が同じ指標表を持つことは、いずれも標準的である。測定値を引かない——本稿の数はすべて全数え上げで得たものである。圏論を導入しない——米田の補題の主張だけを使い、証明も一般化も扱わない。グラフ同型判定の計算量を論じない——6頂点という有限の場合の全数え上げである。表現論を論じない——指標表を既知として引くだけである。米田の補題が本体系の方法を正当化するとは主張しない——むしろ本稿の第6節は、そう言いたくなることを止めるために書かれている。 既刊との関係。論文152 は「同じ指標表を持ちながら、同型でない」を示した——本稿はその現象を、プローブの強さの関数として数える。論文153 は忘却関手の三段を分け、右随伴が無いことの証拠を挙げた——本稿は同じ圏論の棚の、隣の定理を扱う。論文102 は「太鼓の形は聴き分けられるか」を扱った——本稿の第3節はその有限版の全数え上げである。論文163 は「在る」と「これだ」が別の文だと示した——第6節は「決まる」と「求まる」が別の文だと言う。 設定。対象の集まりと、そこから情報を引き出すプローブを考える。プローブとは、対象に当てて値を返す関数である。プローブが二つの対象に同じ値を返すとき、そのプローブは二つを分離できない。題材は 6 頂点の単純グラフで、ラベル付きで 32768 個ある。プローブは三つ用意する。次数列、隣接行列のスペクトル、そしてスペクトルと三角形の個数を組にしたもの。比較のために、同型類そのものを置く。 第一に、32768 個は同型類 156 に落ちる。720 通りの頂点の並べ替えをすべて当てて正規形を取り、数えた。 第二に、次数列では足りない。相異なる値は 102 しかなく、84 類が 30 の組の中で分離されずに残る。 第三に、スペクトルでも足りない。相異なる値は 151 で、10 類が 5 組で残る。 第四に、これが本稿の芯である。三角形の個数を足しても、相異なる値は 151 のまま、分離できない類は 10 のままであった。三角形の個数は隣接行列の三乗のトレースを 6 で割ったものであり、スペクトルの関数である。したがって足しても情報が増えない。プローブを増やしたときに分離能が上がるかどうかは、増やしたものが既存のプローブから復元できるかで決まる。「もっと多くの不変量を測れば、いつかは分かる」は正しくない——独立でない不変量をいくら足しても、一歩も進まない。 第五に、強さは分離能の全順序を与えない。スペクトルで分離できない最小の組を取り出すと、次数列が 0,1,1,1,1,4 のものと 0,0,2,2,2,2 のものであり、どちらも辺が 4 本、三角形が0 個で、共有しているスペクトルはマイナス 2、0、0、0、0、2 である。この二つは次数列では分離される。弱いプローブが分けて、強いプローブが分けない。 第六に、群でも同じことが起きる。二面体群 D4 と四元数群 Q8 は同じ指標表を持ち、同型でない。ところが n 乗して単位元になる元の個数、すなわち巡回群からの準同型の個数を数えると、n が 2 のとき 6 と 2 になり、二つを分ける。指標表は分けられなかったのに、たった一つの相手からの写像を数えるだけで分かれた。ところが n が 4 のときは 8 と 8 で、分けない。同じ形のプローブでも、相手を取り替えると分離能が変わる。どの相手が効くかは、あらかじめ分からない。だから米田は「すべての相手」を要求する。 第七に、これは柵である。米田の補題は「対象は、他との関係で決まる」と読める。本体系の方法——ものが何かではなく、何と何を分けるかで書く——と形が似ている。しかし似ていることは正当化ではない。米田の補題は圏の内部の定理であり、Hom 集合と自然変換という具体的な対象についての主張である。方法論はその対象ではないので、補題は方法論について何も言っていない。定理としての米田と、比喩としての米田を分ける。後者を前者の権威で語ることが、本体系がずっと避けてきた事故である。そして「決まる」は「求まる」を意味しない——米田は対象が決まると言うだけで、求め方を与えない。 結び。米田の補題が要求しているのは「すべての相手」である。その「すべて」を有限で置き換えると、落ちるものがある。しかも落ちるかどうかは、プローブの強さでは決まらない——次数列が分ける組をスペクトルが分けず、三角形を足しても一つも増えなかった。分離子は、そのプローブが既存のプローブから復元できるかである。「もっと測れば分かる」は、独立なものを測るときだけ正しい。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The Yoneda lemma says that an object is completely determined by its relations to every other object. This paper asks about that word every: where does the separating power fall when the probe is weakened? And the loss turned out not to be governed by the strength of the probe. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. The Yoneda lemma, the existence of cospectral non-isomorphic graphs, and the coincidence of the character tables of the dihedral group of order eight and the quaternion group are all standard. No measured value is cited; every number is obtained by exhaustive enumeration. No category theory is developed; only the statement of the lemma is used, and neither its proof nor any generalisation is treated. Nothing is said about the complexity of graph isomorphism; this is an exhaustive count in the finite case of six vertices. No representation theory is developed; the character tables are quoted as known. It is not claimed that the Yoneda lemma justifies the method of this body of work; Section 6 exists precisely to stop that claim from being made. The relation to earlier papers. Paper 152 showed that two groups can share a character table without being isomorphic; this paper counts that phenomenon as a function of the strength of the probe. Paper 153 separated three stages of forgetting and exhibited evidence that a right adjoint is absent; this paper treats the neighbouring theorem on the same shelf. Paper 102 treated the question whether one can hear the shape of a drum; Section 3 is its finite version, counted exhaustively. Paper 163 showed that there exists and here it is are different sentences; Section 6 says that determined and computable are different sentences. The setting. Take a collection of objects and a probe, a function applied to an object that returns a value. When a probe returns the same value on two objects it does not separate them. The material is the simple graphs on six vertices, of which there are 32768 labelled ones. Three probes are used: the degree sequence, the spectrum of the adjacency matrix, and the spectrum together with the triangle count. For comparison the isomorphism type itself is included. First, the 32768 labelled graphs fall to 156 isomorphism classes, counted by applying all 720 vertex permutations and taking a canonical form. Second, the degree sequence is not enough. It takes only 102 distinct values and 84 classes survive unseparated in 30 groups. Third, the spectrum is not enough either. It takes 151 values and 10 classes survive in 5 groups. Fourth, this is the core. Adding the triangle count leaves the distinct values at 151 and the unseparated classes at 10. The triangle count is the trace of the cube of the adjacency matrix divided by six, a function of the spectrum, so adding it adds no information. Whether more probes separate more depends on whether the new one can be recovered from the old. Measure more invariants and you will eventually tell them apart is false; dependent invariants advance nothing. Fifth, strength is not a total order on separating power. The smallest pair the spectrum cannot separate has degree sequences zero one one one one four and zero zero two two two two, both with four edges and no triangles, sharing the spectrum minus two, zero, zero, zero, zero, two. The degree sequence does separate that pair. A weaker probe separates where a stronger one fails. Sixth, the same happens for groups. The dihedral group of order eight and the quaternion group share a character table and are not isomorphic. Counting the elements whose n-th power is the identity, that is the homomorphisms from a cyclic group, gives six and two at n equal to two, which separates them. The character table failed and counting maps from a single object succeeded. Yet at n equal to four the counts are eight and eight and do not separate. The same shape of probe changes its power when the test object changes, and which object works cannot be known in advance. That is why Yoneda demands every object. Seventh, this is a fence. The lemma reads as saying that a thing is determined by its relations, and the method of this body of work, writing what a thing separates rather than what it is, has a similar shape. Similarity is not justification. The Yoneda lemma is a theorem inside a category, about Hom sets and natural transformations, and a methodology is not such an object, so the lemma says nothing about it. Separate Yoneda as a theorem, where the Hom functor is fully faithful and the statement is proved, from Yoneda as a metaphor, where things are determined by relations and nothing is proved. Speaking the second with the authority of the first is the accident this body of work has spent its time avoiding. And determined does not mean computable: Yoneda says the object is determined and gives no way to find it. Closing. The Yoneda lemma demands every object, and replacing that word by a finite list loses something. What is lost is not governed by the strength of the probe: the degree sequence separated a pair the spectrum missed, and adding triangles gained nothing at all. The separator is whether the new probe can be recovered from the existing ones. Measure more and you will know is correct only when what is measured is independent. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 米田の補題は、対象は他のすべての対象との関係で完全に決まると言う。本稿が問うのは、その「すべて」である——テストする相手を減らすと、どこで分離能が落ちるか。しかも落ち方は、プローブの強さでは決まらなかった。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。米田の補題、同スペクトル非同型グラフの存在、二面体群と四元数群が同じ指標表を持つことは、いずれも標準的である。測定値を引かない——本稿の数はすべて全数え上げで得たものである。圏論を導入しない——米田の補題の主張だけを使い、証明も一般化も扱わない。グラフ同型判定の計算量を論じない——6頂点という有限の場合の全数え上げである。表現論を論じない——指標表を既知として引くだけである。米田の補題が本体系の方法を正当化するとは主張しない——むしろ本稿の第6節は、そう言いたくなることを止めるために書かれている。 既刊との関係。論文152 は「同じ指標表を持ちながら、同型でない」を示した——本稿はその現象を、プローブの強さの関数として数える。論文153 は忘却関手の三段を分け、右随伴が無いことの証拠を挙げた——本稿は同じ圏論の棚の、隣の定理を扱う。論文102 は「太鼓の形は聴き分けられるか」を扱った——本稿の第3節はその有限版の全数え上げである。論文163 は「在る」と「これだ」が別の文だと示した——第6節は「決まる」と「求まる」が別の文だと言う。 設定。対象の集まりと、そこから情報を引き出すプローブを考える。プローブとは、対象に当てて値を返す関数である。プローブが二つの対象に同じ値を返すとき、そのプローブは二つを分離できない。題材は 6 頂点の単純グラフで、ラベル付きで 32768 個ある。プローブは三つ用意する。次数列、隣接行列のスペクトル、そしてスペクトルと三角形の個数を組にしたもの。比較のために、同型類そのものを置く。 第一に、32768 個は同型類 156 に落ちる。720 通りの頂点の並べ替えをすべて当てて正規形を取り、数えた。 第二に、次数列では足りない。相異なる値は 102 しかなく、84 類が 30 の組の中で分離されずに残る。 第三に、スペクトルでも足りない。相異なる値は 151 で、10 類が 5 組で残る。 第四に、これが本稿の芯である。三角形の個数を足しても、相異なる値は 151 のまま、分離できない類は 10 のままであった。三角形の個数は隣接行列の三乗のトレースを 6 で割ったものであり、スペクトルの関数である。したがって足しても情報が増えない。プローブを増やしたときに分離能が上がるかどうかは、増やしたものが既存のプローブから復元できるかで決まる。「もっと多くの不変量を測れば、いつかは分かる」は正しくない——独立でない不変量をいくら足しても、一歩も進まない。 第五に、強さは分離能の全順序を与えない。スペクトルで分離できない最小の組を取り出すと、次数列が 0,1,1,1,1,4 のものと 0,0,2,2,2,2 のものであり、どちらも辺が 4 本、三角形が0 個で、共有しているスペクトルはマイナス 2、0、0、0、0、2 である。この二つは次数列では分離される。弱いプローブが分けて、強いプローブが分けない。 第六に、群でも同じことが起きる。二面体群 D4 と四元数群 Q8 は同じ指標表を持ち、同型でない。ところが n 乗して単位元になる元の個数、すなわち巡回群からの準同型の個数を数えると、n が 2 のとき 6 と 2 になり、二つを分ける。指標表は分けられなかったのに、たった一つの相手からの写像を数えるだけで分かれた。ところが n が 4 のときは 8 と 8 で、分けない。同じ形のプローブでも、相手を取り替えると分離能が変わる。どの相手が効くかは、あらかじめ分からない。だから米田は「すべての相手」を要求する。 第七に、これは柵である。米田の補題は「対象は、他との関係で決まる」と読める。本体系の方法——ものが何かではなく、何と何を分けるかで書く——と形が似ている。しかし似ていることは正当化ではない。米田の補題は圏の内部の定理であり、Hom 集合と自然変換という具体的な対象についての主張である。方法論はその対象ではないので、補題は方法論について何も言っていない。定理としての米田と、比喩としての米田を分ける。後者を前者の権威で語ることが、本体系がずっと避けてきた事故である。そして「決まる」は「求まる」を意味しない——米田は対象が決まると言うだけで、求め方を与えない。 結び。米田の補題が要求しているのは「すべての相手」である。その「すべて」を有限で置き換えると、落ちるものがある。しかも落ちるかどうかは、プローブの強さでは決まらない——次数列が分ける組をスペクトルが分けず、三角形を足しても一つも増えなかった。分離子は、そのプローブが既存のプローブから復元できるかである。「もっと測れば分かる」は、独立なものを測るときだけ正しい。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The Yoneda lemma says that an object is completely determined by its relations to every other object. This paper asks about that word every: where does the separating power fall when the probe is weakened? And the loss turned out not to be governed by the strength of the probe. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. The Yoneda lemma, the existence of cospectral non-isomorphic graphs, and the coincidence of the character tables of the dihedral group of order eight and the quaternion group are all standard. No measured value is cited; every number is obtained by exhaustive enumeration. No category theory is developed; only the statement of the lemma is used, and neither its proof nor any generalisation is treated. Nothing is said about the complexity of graph isomorphism; this is an exhaustive count in the finite case of six vertices. No representation theory is developed; the character tables are quoted as known. It is not claimed that the Yoneda lemma justifies the method of this body of work; Section 6 exists precisely to stop that claim from being made. The relation to earlier papers. Paper 152 showed that two groups can share a character table without being isomorphic; this paper counts that phenomenon as a function of the strength of the probe. Paper 153 separated three stages of forgetting and exhibited evidence that a right adjoint is absent; this paper treats the neighbouring theorem on the same shelf. Paper 102 treated the question whether one can hear the shape of a drum; Section 3 is its finite version, counted exhaustively. Paper 163 showed that there exists and here it is are different sentences; Section 6 says that determined and computable are different sentences. The setting. Take a collection of objects and a probe, a function applied to an object that returns a value. When a probe returns the same value on two objects it does not separate them. The material is the simple graphs on six vertices, of which there are 32768 labelled ones. Three probes are used: the degree sequence, the spectrum of the adjacency matrix, and the spectrum together with the triangle count. For comparison the isomorphism type itself is included. First, the 32768 labelled graphs fall to 156 isomorphism classes, counted by applying all 720 vertex permutations and taking a canonical form. Second, the degree sequence is not enough. It takes only 102 distinct values and 84 classes survive unseparated in 30 groups. Third, the spectrum is not enough either. It takes 151 values and 10 classes survive in 5 groups. Fourth, this is the core. Adding the triangle count leaves the distinct values at 151 and the unseparated classes at 10. The triangle count is the trace of the cube of the adjacency matrix divided by six, a function of the spectrum, so adding it adds no information. Whether more probes separate more depends on whether the new one can be recovered from the old. Measure more invariants and you will eventually tell them apart is false; dependent invariants advance nothing. Fifth, strength is not a total order on separating power. The smallest pair the spectrum cannot separate has degree sequences zero one one one one four and zero zero two two two two, both with four edges and no triangles, sharing the spectrum minus two, zero, zero, zero, zero, two. The degree sequence does separate that pair. A weaker probe separates where a stronger one fails. Sixth, the same happens for groups. The dihedral group of order eight and the quaternion group share a character table and are not isomorphic. Counting the elements whose n-th power is the identity, that is the homomorphisms from a cyclic group, gives six and two at n equal to two, which separates them. The character table failed and counting maps from a single object succeeded. Yet at n equal to four the counts are eight and eight and do not separate. The same shape of probe changes its power when the test object changes, and which object works cannot be known in advance. That is why Yoneda demands every object. Seventh, this is a fence. The lemma reads as saying that a thing is determined by its relations, and the method of this body of work, writing what a thing separates rather than what it is, has a similar shape. Similarity is not justification. The Yoneda lemma is a theorem inside a category, about Hom sets and natural transformations, and a methodology is not such an object, so the lemma says nothing about it. Separate Yoneda as a theorem, where the Hom functor is fully faithful and the statement is proved, from Yoneda as a metaphor, where things are determined by relations and nothing is proved. Speaking the second with the authority of the first is the accident this body of work has spent its time avoiding. And determined does not mean computable: Yoneda says the object is determined and gives no way to find it. Closing. The Yoneda lemma demands every object, and replacing that word by a finite list loses something. What is lost is not governed by the strength of the probe: the degree sequence separated a pair the spectrum missed, and adding triangles gained nothing at all. The separator is whether the new probe can be recovered from the existing ones. Measure more and you will know is correct only when what is measured is independent. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 米田の補題は、対象は他のすべての対象との関係で完全に決まると言う。本稿が問うのは、その「すべて」である——テストする相手を減らすと、どこで分離能が落ちるか。しかも落ち方は、プローブの強さでは決まらなかった。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。米田の補題、同スペクトル非同型グラフの存在、二面体群と四元数群が同じ指標表を持つことは、いずれも標準的である。測定値を引かない——本稿の数はすべて全数え上げで得たものである。圏論を導入しない——米田の補題の主張だけを使い、証明も一般化も扱わない。グラフ同型判定の計算量を論じない——6頂点という有限の場合の全数え上げである。表現論を論じない——指標表を既知として引くだけである。米田の補題が本体系の方法を正当化するとは主張しない——むしろ本稿の第6節は、そう言いたくなることを止めるために書かれている。 既刊との関係。論文152 は「同じ指標表を持ちながら、同型でない」を示した——本稿はその現象を、プローブの強さの関数として数える。論文153 は忘却関手の三段を分け、右随伴が無いことの証拠を挙げた——本稿は同じ圏論の棚の、隣の定理を扱う。論文102 は「太鼓の形は聴き分けられるか」を扱った——本稿の第3節はその有限版の全数え上げである。論文163 は「在る」と「これだ」が別の文だと示した——第6節は「決まる」と「求まる」が別の文だと言う。 設定。対象の集まりと、そこから情報を引き出すプローブを考える。プローブとは、対象に当てて値を返す関数である。プローブが二つの対象に同じ値を返すとき、そのプローブは二つを分離できない。題材は 6 頂点の単純グラフで、ラベル付きで 32768 個ある。プローブは三つ用意する。次数列、隣接行列のスペクトル、そしてスペクトルと三角形の個数を組にしたもの。比較のために、同型類そのものを置く。 第一に、32768 個は同型類 156 に落ちる。720 通りの頂点の並べ替えをすべて当てて正規形を取り、数えた。 第二に、次数列では足りない。相異なる値は 102 しかなく、84 類が 30 の組の中で分離されずに残る。 第三に、スペクトルでも足りない。相異なる値は 151 で、10 類が 5 組で残る。 第四に、これが本稿の芯である。三角形の個数を足しても、相異なる値は 151 のまま、分離できない類は 10 のままであった。三角形の個数は隣接行列の三乗のトレースを 6 で割ったものであり、スペクトルの関数である。したがって足しても情報が増えない。プローブを増やしたときに分離能が上がるかどうかは、増やしたものが既存のプローブから復元できるかで決まる。「もっと多くの不変量を測れば、いつかは分かる」は正しくない——独立でない不変量をいくら足しても、一歩も進まない。 第五に、強さは分離能の全順序を与えない。スペクトルで分離できない最小の組を取り出すと、次数列が 0,1,1,1,1,4 のものと 0,0,2,2,2,2 のものであり、どちらも辺が 4 本、三角形が0 個で、共有しているスペクトルはマイナス 2、0、0、0、0、2 である。この二つは次数列では分離される。弱いプローブが分けて、強いプローブが分けない。 第六に、群でも同じことが起きる。二面体群 D4 と四元数群 Q8 は同じ指標表を持ち、同型でない。ところが n 乗して単位元になる元の個数、すなわち巡回群からの準同型の個数を数えると、n が 2 のとき 6 と 2 になり、二つを分ける。指標表は分けられなかったのに、たった一つの相手からの写像を数えるだけで分かれた。ところが n が 4 のときは 8 と 8 で、分けない。同じ形のプローブでも、相手を取り替えると分離能が変わる。どの相手が効くかは、あらかじめ分からない。だから米田は「すべての相手」を要求する。 第七に、これは柵である。米田の補題は「対象は、他との関係で決まる」と読める。本体系の方法——ものが何かではなく、何と何を分けるかで書く——と形が似ている。しかし似ていることは正当化ではない。米田の補題は圏の内部の定理であり、Hom 集合と自然変換という具体的な対象についての主張である。方法論はその対象ではないので、補題は方法論について何も言っていない。定理としての米田と、比喩としての米田を分ける。後者を前者の権威で語ることが、本体系がずっと避けてきた事故である。そして「決まる」は「求まる」を意味しない——米田は対象が決まると言うだけで、求め方を与えない。 結び。米田の補題が要求しているのは「すべての相手」である。その「すべて」を有限で置き換えると、落ちるものがある。しかも落ちるかどうかは、プローブの強さでは決まらない——次数列が分ける組をスペクトルが分けず、三角形を足しても一つも増えなかった。分離子は、そのプローブが既存のプローブから復元できるかである。「もっと測れば分かる」は、独立なものを測るときだけ正しい。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Why is time one-dimensional? The answer offered here is that no law decrees it; the requirement that one be able to predict allows nothing else. The equations of a universe with two times can be written, and their solutions exist. What breaks is prediction. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. Hadamard's three conditions for well-posedness, the ill-posedness of the Cauchy problem for Laplace's equation, the ill-posedness of the backward heat equation, the Cauchy problem for ultrahyperbolic equations, and the classification of second order operators by signature are all standard. It is not proved that spacetime must be 3+1 ── the discipline is that of Paper 69, and what is done here is to add one entry to its ledger. No anthropic argument is made ── the phrase because there are observers is never used. No measured value is cited ── every number is computed from a definition. No theory of partial differential equations is built ── only exact solutions and a finite Fourier representation are used. Prediction is not defined ── what is treated is the single point of continuous dependence on the data. It is not claimed that ultrahyperbolic equations have no solutions ── solutions exist; what fails is uniqueness and continuous dependence. The arrow of time is not solved ── what Paper 98 recorded as open is left untouched. Quantum theory is not treated. The relation to earlier papers. Paper 69 wrote why 3+1 as an overdetermination and assembled five independent roots selecting four dimensions; not one of them selects which of the four is time, and this paper fills that empty place. Paper 159 showed that ill-posed is not one word and placed the separator in the decay of the singular values; this paper applies that same separator to the number of time dimensions. Paper 154 showed that a limit without its order is not a quantity; that concerns the order of limits and this the signature. Papers 118, 119 and 122 showed that the one word time covers four logical types; what is asked here is not the type but the number. Paper 251 separated special in two dimensions; this paper stands beside it, on the side of special in one. First, being solvable and being predictable are different demands. Hadamard wrote what it is for a problem to be well-posed as three conditions: that a solution exists, that it is unique, and that it depends continuously on the data. The three are independent; the first two are about whether it can be solved, and what corresponds to prediction is the third alone. Why the third is prediction: initial data is measured and then entered, and measurement always carries error. If the error changes the answer, then holding a formula for the solution one still cannot state tomorrow's value. Second, with no time dimension the initial value problem explodes. Take Laplace's equation and, treating the vertical coordinate as the time, solve it as an initial value problem (Hadamard's example). With data of size one over n, the amplification at unit height is 1.101 times ten to the third at n=10, 1.213 times ten to the seventh at n=20, 2.942 times ten to the fifteenth at n=40, and 3.463 times ten to the thirty-second at n=80. The data tends to zero and the solution diverges. Neither existence nor uniqueness has failed ── there is a solution and it is unique. What has failed is the third condition alone. Third, with one time dimension the same procedure stays bounded. Change the equation to the wave equation; one sign has been changed and nothing else. With the same data the amplification is 0.0544 at n=10, 0.0457 at n=20, 0.0186 at n=40 and 0.0124 at n=80. At the same n=80 that is 3.463 times ten to the thirty-second against 0.0124 ── thirty-four orders of magnitude. What changed is one sign in the equation, and not the data, not the method, not the precision. What makes the difference is the signature. Fourth, this is the core. One and the same heat equation exchanges well-posedness for ill-posedness when only its direction is reversed. Mode n is multiplied by the exponential of minus n squared t. At n=80 that is 1.604 times ten to the minus twenty-eighth forwards against 6.235 times ten to the twenty-seventh backwards. Running it on a grid of 512 points, the maximum going forwards stays below one at 0.9759, 0.8944 and 0.8165, while backwards it grows to 2.073 times ten to the eleventh, 2.417 times ten to the hundred and twenty-third, and 1.304 times ten to the two hundred and sixty-fourth, overflowing double precision before reaching t=0.05. To measure what this means for prediction, relative noise of ten to the minus tenth ── standing for observational error ── is added to the data and that component alone is sent both ways: forwards it decays to 9.398, 5.403 and 3.835 times ten to the minus eleventh, while backwards it has grown to 4.135 times ten to the seventeenth already at t=0.001. The signal is buried; one holds the same formula for the solution and cannot state a value. Here is the core: there is no asymmetry on the side of the law. The heat equation is one equation, and reversing time does not turn it into another. The asymmetry is on the side of well-posedness. This does not explain the arrow of time ── as Paper 98 recorded honestly, why there is a low entropy past is unsolved. What can be said here is one step short of that: the phenomenon of being able to predict one way and not the other does not itself require an asymmetric law. Fifth, with two time dimensions what happens next is not determined. Giving time two dimensions, a plane wave gives the dispersion relation that the sum of the squares of the two frequencies equals the square of the wave number. With one time the same procedure returns two values, plus and minus the wave number; with two it returns a whole circle in the frequency plane, a continuum. So the data does not determine what happens next. What has failed this time is uniqueness ── in the third section it was continuous dependence. One word, ill-posed, is naming two different failures (Paper 159). Sixth, one measure separates them: the signature of the principal symbol. Counting the signs of the eigenvalues, (4,0) is elliptic and ill-posed, (3,1) is hyperbolic and well-posed, and (2,2) and (1,3) are ultrahyperbolic and ill-posed. Only one time dimension is well-posed. Since (1,3) is (3,1) with the overall sign reversed and means the same physics, what is to be counted is the size of the smaller sign class. One thing follows: it is not that time is special. The sign class with only one member is what we call time. The direction looks reversed because the definition comes first and time second. Seventh, one independent entry is added to the census of Paper 69. The roots it assembled ── conformal invariance of the Maxwell action, graviton degrees of freedom, exotic four-space, Bertrand and Ehrenfest stability, the maximum of the ball volume ── all select how many, and not one of them selects which of them is time. That is the empty place this paper fills. And this root cannot be derived from the other five: conformal invariance, graviton degrees of freedom and exotic four-space are all statements made after a signature has been assumed, and well-posedness stands on the side of that assumption. They are distinct roots (Paper 58). Even so, 3+1 is not proved here. What can be said reaches no further than that prediction is not an available activity unless there is exactly one time dimension, and adds nothing about why space has three. Closing. Time is one-dimensional, and not because time is special. The equations of a two-time universe can be written and their solutions exist. What breaks is prediction ── add a dimension and the answer stops being unique; remove one and measurement error buries it. There is exactly one signature in which the word tomorrow means anything. And the fifth section showed that even inside that one, one direction permits prediction and the other does not ── without once invoking an asymmetric law. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 時間はなぜ一本なのか。本稿の答は、そう決めた法則があるからではなく、「予言できる」という要求がそれしか許さないから、である。時間が二本ある宇宙の方程式は書ける。解も存在する。壊れるのは予言のほうである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。アダマールの適切性の三条件、ラプラス方程式のコーシー問題の不適切性、後ろ向き熱方程式の不適切性、超双曲型方程式のコーシー問題、二階作用素の符号数による分類は、いずれも標準的である。時空が 3+1 でなければならないとは証明しない──論文69 と同じ規律であり、本稿がするのはその台帳に一本足すことだけである。人間原理を立てない──「観測者がいるから」とは一度も言わない。測定値を引かない──本稿の数はすべて定義から計算したものである。偏微分方程式の理論を作らない──使うのは厳密解と有限次元のフーリエ表示だけである。「予言」を定義しない──扱うのは初期条件への連続依存という一点であって、認識論には立ち入らない。超双曲型方程式に解が無いとは言わない──解は存在する。壊れるのは一意性と連続依存である。時間の矢を解かない──論文98 が未解決と書いたことに手をつけない。量子論を扱わない。 既刊との関係。論文69 は「なぜ 3+1 次元か」を過剰決定として書き、D=4 を選ぶ五つの独立な根を並べた。だがそのどれも、四つのうちどれが時間かを選んでいない。本稿はその空いた位置に一本足す。論文159 は「不適切」が一語でないことを示し、分離子を特異値の落ち方に置いた。本稿は同じ分離子を時間の本数に当てる。論文154 は順序を書かない極限は量ではないと示した。あちらは極限の順序、こちらは符号数であり、別の軸である。論文118・119・122 は「時間」という一語が四つの論理型を覆うことを示した。本稿が問うのは型ではなく本数である。論文251 は「二次元だけ特別」を分けた。本稿はその隣、一次元だけ特別の側に立つ。 第一に、「解ける」と「予言できる」は別の要求である。アダマールは、問題が適切であることを三つの条件で書いた──解が存在すること、解が一つに決まること、初期条件に連続に依存すること。三つは独立であり、前二つは解けるかどうかの話で、予言に対応するのは三つ目だけである。なぜ三つ目が予言なのか。初期条件は測って入れるものであり、測定には必ず誤差がある。誤差が答を変えてしまうなら、解の式を持っていても、明日の値を言うことができない。 第二に、時間が 0 本だと初期値問題が爆発する。ラプラス方程式を取り、縦の座標を時間だと思って初期値問題として解く(アダマールの例)。初期値の大きさが 1/n のとき、y=1 での増幅率は n=10 で 1.101×10^3、n=20 で 1.213×10^7、n=40 で 2.942×10^15、n=80 で 3.463×10^32 であった。初期値は 0 に向かっているのに、解は発散する。しかも存在も一意性も壊れていない──解はあり、一つに決まる。壊れているのは三つ目だけである。 第三に、時間が 1 本だと同じ手順が有界に収まる。方程式を波動方程式に替える。符号を一つ変えただけである。同じ初期値を入れると、増幅率は n=10 で 0.0544、n=20 で 0.0457、n=40 で 0.0186、n=80 で 0.0124 になった。同じ n=80 で 3.463×10^32 と 0.0124 ──34 桁の差である。替えたのは方程式の一つの符号であって、初期条件でも解き方でも精度でもな
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Why is time one-dimensional? The answer offered here is that no law decrees it; the requirement that one be able to predict allows nothing else. The equations of a universe with two times can be written, and their solutions exist. What breaks is prediction. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. Hadamard's three conditions for well-posedness, the ill-posedness of the Cauchy problem for Laplace's equation, the ill-posedness of the backward heat equation, the Cauchy problem for ultrahyperbolic equations, and the classification of second order operators by signature are all standard. It is not proved that spacetime must be 3+1 ── the discipline is that of Paper 69, and what is done here is to add one entry to its ledger. No anthropic argument is made ── the phrase because there are observers is never used. No measured value is cited ── every number is computed from a definition. No theory of partial differential equations is built ── only exact solutions and a finite Fourier representation are used. Prediction is not defined ── what is treated is the single point of continuous dependence on the data. It is not claimed that ultrahyperbolic equations have no solutions ── solutions exist; what fails is uniqueness and continuous dependence. The arrow of time is not solved ── what Paper 98 recorded as open is left untouched. Quantum theory is not treated. The relation to earlier papers. Paper 69 wrote why 3+1 as an overdetermination and assembled five independent roots selecting four dimensions; not one of them selects which of the four is time, and this paper fills that empty place. Paper 159 showed that ill-posed is not one word and placed the separator in the decay of the singular values; this paper applies that same separator to the number of time dimensions. Paper 154 showed that a limit without its order is not a quantity; that concerns the order of limits and this the signature. Papers 118, 119 and 122 showed that the one word time covers four logical types; what is asked here is not the type but the number. Paper 251 separated special in two dimensions; this paper stands beside it, on the side of special in one. First, being solvable and being predictable are different demands. Hadamard wrote what it is for a problem to be well-posed as three conditions: that a solution exists, that it is unique, and that it depends continuously on the data. The three are independent; the first two are about whether it can be solved, and what corresponds to prediction is the third alone. Why the third is prediction: initial data is measured and then entered, and measurement always carries error. If the error changes the answer, then holding a formula for the solution one still cannot state tomorrow's value. Second, with no time dimension the initial value problem explodes. Take Laplace's equation and, treating the vertical coordinate as the time, solve it as an initial value problem (Hadamard's example). With data of size one over n, the amplification at unit height is 1.101 times ten to the third at n=10, 1.213 times ten to the seventh at n=20, 2.942 times ten to the fifteenth at n=40, and 3.463 times ten to the thirty-second at n=80. The data tends to zero and the solution diverges. Neither existence nor uniqueness has failed ── there is a solution and it is unique. What has failed is the third condition alone. Third, with one time dimension the same procedure stays bounded. Change the equation to the wave equation; one sign has been changed and nothing else. With the same data the amplification is 0.0544 at n=10, 0.0457 at n=20, 0.0186 at n=40 and 0.0124 at n=80. At the same n=80 that is 3.463 times ten to the thirty-second against 0.0124 ── thirty-four orders of magnitude. What changed is one sign in the equation, and not the data, not the method, not the precision. What makes the difference is the signature. Fourth, this is the core. One and the same heat equation exchanges well-posedness for ill-posedness when only its direction is reversed. Mode n is multiplied by the exponential of minus n squared t. At n=80 that is 1.604 times ten to the minus twenty-eighth forwards against 6.235 times ten to the twenty-seventh backwards. Running it on a grid of 512 points, the maximum going forwards stays below one at 0.9759, 0.8944 and 0.8165, while backwards it grows to 2.073 times ten to the eleventh, 2.417 times ten to the hundred and twenty-third, and 1.304 times ten to the two hundred and sixty-fourth, overflowing double precision before reaching t=0.05. To measure what this means for prediction, relative noise of ten to the minus tenth ── standing for observational error ── is added to the data and that component alone is sent both ways: forwards it decays to 9.398, 5.403 and 3.835 times ten to the minus eleventh, while backwards it has grown to 4.135 times ten to the seventeenth already at t=0.001. The signal is buried; one holds the same formula for the solution and cannot state a value. Here is the core: there is no asymmetry on the side of the law. The heat equation is one equation, and reversing time does not turn it into another. The asymmetry is on the side of well-posedness. This does not explain the arrow of time ── as Paper 98 recorded honestly, why there is a low entropy past is unsolved. What can be said here is one step short of that: the phenomenon of being able to predict one way and not the other does not itself require an asymmetric law. Fifth, with two time dimensions what happens next is not determined. Giving time two dimensions, a plane wave gives the dispersion relation that the sum of the squares of the two frequencies equals the square of the wave number. With one time the same procedure returns two values, plus and minus the wave number; with two it returns a whole circle in the frequency plane, a continuum. So the data does not determine what happens next. What has failed this time is uniqueness ── in the third section it was continuous dependence. One word, ill-posed, is naming two different failures (Paper 159). Sixth, one measure separates them: the signature of the principal symbol. Counting the signs of the eigenvalues, (4,0) is elliptic and ill-posed, (3,1) is hyperbolic and well-posed, and (2,2) and (1,3) are ultrahyperbolic and ill-posed. Only one time dimension is well-posed. Since (1,3) is (3,1) with the overall sign reversed and means the same physics, what is to be counted is the size of the smaller sign class. One thing follows: it is not that time is special. The sign class with only one member is what we call time. The direction looks reversed because the definition comes first and time second. Seventh, one independent entry is added to the census of Paper 69. The roots it assembled ── conformal invariance of the Maxwell action, graviton degrees of freedom, exotic four-space, Bertrand and Ehrenfest stability, the maximum of the ball volume ── all select how many, and not one of them selects which of them is time. That is the empty place this paper fills. And this root cannot be derived from the other five: conformal invariance, graviton degrees of freedom and exotic four-space are all statements made after a signature has been assumed, and well-posedness stands on the side of that assumption. They are distinct roots (Paper 58). Even so, 3+1 is not proved here. What can be said reaches no further than that prediction is not an available activity unless there is exactly one time dimension, and adds nothing about why space has three. Closing. Time is one-dimensional, and not because time is special. The equations of a two-time universe can be written and their solutions exist. What breaks is prediction ── add a dimension and the answer stops being unique; remove one and measurement error buries it. There is exactly one signature in which the word tomorrow means anything. And the fifth section showed that even inside that one, one direction permits prediction and the other does not ── without once invoking an asymmetric law. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 時間はなぜ一本なのか。本稿の答は、そう決めた法則があるからではなく、「予言できる」という要求がそれしか許さないから、である。時間が二本ある宇宙の方程式は書ける。解も存在する。壊れるのは予言のほうである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。アダマールの適切性の三条件、ラプラス方程式のコーシー問題の不適切性、後ろ向き熱方程式の不適切性、超双曲型方程式のコーシー問題、二階作用素の符号数による分類は、いずれも標準的である。時空が 3+1 でなければならないとは証明しない──論文69 と同じ規律であり、本稿がするのはその台帳に一本足すことだけである。人間原理を立てない──「観測者がいるから」とは一度も言わない。測定値を引かない──本稿の数はすべて定義から計算したものである。偏微分方程式の理論を作らない──使うのは厳密解と有限次元のフーリエ表示だけである。「予言」を定義しない──扱うのは初期条件への連続依存という一点であって、認識論には立ち入らない。超双曲型方程式に解が無いとは言わない──解は存在する。壊れるのは一意性と連続依存である。時間の矢を解かない──論文98 が未解決と書いたことに手をつけない。量子論を扱わない。 既刊との関係。論文69 は「なぜ 3+1 次元か」を過剰決定として書き、D=4 を選ぶ五つの独立な根を並べた。だがそのどれも、四つのうちどれが時間かを選んでいない。本稿はその空いた位置に一本足す。論文159 は「不適切」が一語でないことを示し、分離子を特異値の落ち方に置いた。本稿は同じ分離子を時間の本数に当てる。論文154 は順序を書かない極限は量ではないと示した。あちらは極限の順序、こちらは符号数であり、別の軸である。論文118・119・122 は「時間」という一語が四つの論理型を覆うことを示した。本稿が問うのは型ではなく本数である。論文251 は「二次元だけ特別」を分けた。本稿はその隣、一次元だけ特別の側に立つ。 第一に、「解ける」と「予言できる」は別の要求である。アダマールは、問題が適切であることを三つの条件で書いた──解が存在すること、解が一つに決まること、初期条件に連続に依存すること。三つは独立であり、前二つは解けるかどうかの話で、予言に対応するのは三つ目だけである。なぜ三つ目が予言なのか。初期条件は測って入れるものであり、測定には必ず誤差がある。誤差が答を変えてしまうなら、解の式を持っていても、明日の値を言うことができない。 第二に、時間が 0 本だと初期値問題が爆発する。ラプラス方程式を取り、縦の座標を時間だと思って初期値問題として解く(アダマールの例)。初期値の大きさが 1/n のとき、y=1 での増幅率は n=10 で 1.101×10^3、n=20 で 1.213×10^7、n=40 で 2.942×10^15、n=80 で 3.463×10^32 であった。初期値は 0 に向かっているのに、解は発散する。しかも存在も一意性も壊れていない──解はあり、一つに決まる。壊れているのは三つ目だけである。 第三に、時間が 1 本だと同じ手順が有界に収まる。方程式を波動方程式に替える。符号を一つ変えただけである。同じ初期値を入れると、増幅率は n=10 で 0.0544、n=20 で 0.0457、n=40 で 0.0186、n=80 で 0.0124 になった。同じ n=80 で 3.463×10^32 と 0.0124 ──34 桁の差である。替えたのは方程式の一つの符号であって、初期条件でも解き方でも精度でもな
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
When four pi turns up in a biological setting, is it a coincidence of numbers or the same root? This paper treats exactly one case: the four pi in the rate at which a cell captures molecules is the same solid angle as in Gauss's law. Not by analogy, but because it is the same equation. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): no new mathematical theorem and no new law is claimed. The Smoluchowski capture rate, the receptor count of Berg and Purcell, and the reduction of steady diffusion to Laplace's equation are all standard. No measured value is cited; every number is computed from a definition, and no measurement on a real cell is used. No physiology is discussed; nothing is claimed about the actual size, number or arrangement of receptors. The ratio of one to a thousand in Section 7 is a value put there for the sake of the calculation and belongs to no particular cell. No biological conclusion is drawn; nothing is said about why cells are the size they are or about how evolution acted. The reaction-limited case is not treated; only the diffusion-limited steady state appears, with no binding or unbinding rates. No general account of four pi in biology is attempted; one case is treated. Joining things because their numbers agree is what this paper most wants to avoid: the claim of a shared root rests on the equation being the same, not on the value being the same. The relation to earlier papers. Paper 2 treated the pure solid angle appearing in an inverse-square field; this paper shows the same solid angle in diffusion, from the identity of the equations. Paper 1 established that the exponent is the dimension minus one; the failure in two dimensions in Section 6 is where that exponent becomes zero. Paper 156 traced the flatness inside a spherical shell to harmonicity; this paper uses the same harmonicity. Papers 36 and 37 dissected the six pi of Stokes drag; Section 8 places that six pi beside this four pi as a different root. Paper 44 showed that the power of four pi is a mass dimension and that fixing it is a convention of electromagnetic units; Section 8 puts that conventional four pi third. The setting. Let a sphere of radius a absorb on contact the molecules drifting around it. With a distant concentration and a diffusion coefficient, the amount captured per unit time in the steady state is four pi times the diffusion coefficient times the radius times the concentration (Smoluchowski, 1917). The question is what that four pi is. First, steady diffusion is Laplace's equation. The diffusion equation relates the change of concentration in time to the Laplacian, and in the steady state the time derivative vanishes, leaving only the vanishing of the Laplacian. That is the same equation as electrostatics, so the solutions take the same form and one over r appears in spherical symmetry. The four pi enters when the flux through a sphere is counted, for exactly the reason it appears in Gauss's law: the full solid angle of a sphere is four pi. The harmonicity to which Paper 156 traced the flatness inside a shell is the same harmonicity used here. Second, the flux is the same through every enclosing sphere. Setting the diffusion coefficient, the concentration and the radius to one and measuring the flux from the steady solution, moving the radius from one and a half times to a thousand times gives 12.566370614359172 throughout, the six values spreading by 3.55 times ten to the minus fifteenth. And four pi is 12.566370614359172. That the flux does not depend on the radius is Gauss's law itself; this is not a resemblance but the same consequence of the same equation. Third, solving numerically without using the form of the solution gives the same value. Integrating the radial equation over two million points with the outer boundary at four hundred times the radius gives 12.597865194, which differs from the infinite formula 12.566370614 by 3.1 times ten to the minus second. That is not an error: the ratio is 1.002506259, agreeing with R over R minus a, namely 1.002506266, to 6.7 times ten to the minus ninth. What differs is not the method but the outer boundary being finite, and stretching the boundary tenfold shrinks the gap to exactly a tenth. When a number and a formula disagree, first ask what each of them assumed. Fourth, this is the core of the paper. Capture is proportional to the radius and not to the area. Moving the radius from a tenth to ten, the capture rate grows a hundredfold from 1.256637061 to 125.663706144 while the surface grows ten thousandfold from 0.125663706 to 1256.637061436. Capture per unit area falls from 10.000000000 to 0.100000000, by a factor of a hundred. One naturally expects a wider absorbing surface to catch more, but that is surface-limited thinking. In the diffusion-limited case what decides is not the surface but the rate at which molecules arrive from far away, which is proportional to the radius, since a gradient of one over r multiplied by an area of r squared leaves one power of r. That multiplication is exactly the exponent of Paper 1. Fifth, in two dimensions no steady absorber exists. The same calculation in d dimensions gives a solution containing r to the power two minus d, and at d equal to two that power is zero, the power-law solution disappears and a logarithm takes its place. With the outer boundary at ten times the radius the flux is 0.434294482, at a thousand times 0.144764827, at a million times 0.072382414, at ten to the twelfth 0.036191207, and even at ten to the hundredth 0.004342945 remains. It falls as one over the logarithm and reaches zero only in the limit, yet in that limit the steady solution itself does not exist. A creature in a flat world cannot gather food by diffusion alone; more precisely, it needs a wall at a finite distance. This is where the exponent of Paper 1 becomes one at two dimensions and a logarithm replaces one over r. Sixth, the surface may be left almost bare. The whole surface need not absorb: with small receptors scattered over the sphere, the capture rate is a fraction of that of a perfect absorber (Berg and Purcell, 1977). Putting the relative radius of a receptor at one thousandth, 3142 receptors reach half the rate of a perfect absorber while covering 0.078540 percent of the surface. Ninety percent needs 28275 receptors covering 0.706858 percent, and ninety-nine percent needs 311018 covering 7.775442 percent. Zero point zero eight percent of the surface gives half the rate, and more than ninety-nine percent may be left bare, because a molecule strikes the surface many times by diffusion: missing once, it wanders off and comes back. The ratio of one thousandth is a value put there for the calculation and is not a measurement on any cell. Seventh, three kinds of pi appear in this neighbourhood. The four pi of diffusion capture, of the volume of a sphere and of Gauss's law are all solid angles. In the six pi of Stokes drag the pi is a solid angle but the six has another source (Papers 36 and 37), and the six pi in the Einstein relation is inherited from it. The four pi in Poisson's equation in Gaussian units is a convention of units (Paper 44). The same characters sometimes mean a solid angle and sometimes a convention, and six pi is not one and a half times four pi. The only case in which a shared root is claimed here is diffusion capture, and the claim rests on the same Laplace equation, not on the values agreeing. Closing. The four pi in the rate at which a cell captures molecules is the same solid angle as in Gauss's law. Not because the values agree, but because steady diffusion is Laplace's equation. The same equation gives the same one over r, multiplied by the same spherical area, leaving the same four pi, and the check is that the flux does not depend on the radius. Two things followed: capture scales with the radius and not the area, and no steady absorber exists in two dimensions. Last, the surface may be left almost bare, zero point zero eight percent giving half the rate, because a molecule, by diffusion, comes back again and again. The separator is whether it comes from the same equation; that two values agree shows nothing about a shared root. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 生物の話に 4π が出てきたとき、それは数字の一致なのか、同じ根なのか。本稿が扱うのは一つだけである——細胞が分子を捕らえる速さに現れる 4π は、ガウスの法則の 4π と同じ立体角である。類推ではなく、同じ方程式だからである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない。スモルコフスキーの拡散捕捉率、ベルクとパーセルによる受容体の勘定、定常拡散がラプラス方程式に帰着することは、いずれも標準的である。測定値を引かない——本稿の数はすべて定義から計算したものであり、実在の細胞の測定値は一つも使っていない。生理学を論じない——受容体の実際の大きさ・数・分布については何も主張しない。第7節の 1000 分の 1 という比は仮に置いた値であって、特定の細胞のものではない。生物学的な結論を引き出さない——細胞がなぜその大きさなのか、進化がどう働いたかについては何も述べない。反応律速の場合を扱わない——本稿が扱うのは拡散律速の定常状態だけであり、結合速度や解離は入っていない。生物に現れる 4π を一般に論じない——扱うのは拡散捕捉の一件だけである。数字が一致していることを根拠に何かを結ぶことは、本稿がもっとも避けたいことである——本稿が同根だと言えるのは、同じ方程式から出ているからであって、値が同じだからではない。 既刊との関係。論文2 は逆二乗場に純粋な立体角が現れることを扱った——本稿は同じ立体角が拡散にも現れることを、方程式の同一性から示す。論文1 は n = d−1 を示した——第6節の二次元の破れはその指数がゼロになる場所である。論文156 は球殻の内部が平らな理由を調和性に帰した——本稿が使うのは同じ調和性である。論文36・37 はストークス抵抗の 6π を解剖した——第8節はその 6π と本稿の 4π が別根であることを並べる。論文44 は 4π の冪が質量次元であり、a = 4π を固定するのが電磁単位の規約だと示した——第8節はその規約としての 4π を三つ目に置く。 設定。半径 a の球が、周囲にただよう分子を触れた瞬間に吸収するとする。遠方の濃度をC0、拡散係数を D とし、定常状態で単位時間に捕らえる量を求めると、答は 4πDaC0 である(スモルコフスキー 1917)。問いは、この 4π が何かである。 第一に、定常拡散はラプラス方程式である。拡散方程式は濃度の時間変化を D 掛ける濃度のラプラシアンと結ぶが、定常状態では時間変化が消えるので、残るのはラプラシアンがゼロという式だけである。これは静電場の方程式と同じ式であり、したがって解も同じ形になり、球対称なら 1 / r が出る。4π が現れるのは球面を通る流束を数えるときで、ガウスの法則で4π が出るのとまったく同じ理由——球の全立体角が 4π だからである。論文156 が球殻の内部の平らさを帰した調和性は、ここで使っている調和性と同じものである。 第二に、どの半径で測っても流束は変わらない。D も C0 も a も 1 と置き、定常解 C(r) = C0(1 − a/r) から半径 r の球面を通る流束を測ると、r を a の 1.5 倍から 1000 倍まで動かして 12.56637061435917
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations