Shannon’s coding theorem says that below the channel capacity C the error can be made arbitrarily small. This paper asks whether C itself is attainable──the answer is not at any finite blocklength. 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──Shannon’s coding theorem, the capacity of the binary symmetric and Gaussian channels, and the finite-blocklength normal approximation are all standard. We do not build information theory──all we use is one binary entropy and one square root. We do not prove the coding theorem──achievability and the converse are merely quoted. We construct no codes──which codes approach capacity is not treated at all. Paper 163’s existence-versus-construction distinction is alive here too. We claim no accuracy for the normal approximation──R(n,epsilon)approx C-sqrt(V/n) Q^-1(epsilon) is a second-order approximation and errs appreciably at small n. The 41.68% at n=100 is an estimate, not an exact achievable rate. We do not discuss implementation──decoding effort, latency, and the performance of real codes are not treated. We do not criticise C──being a supremum is not a defect. Unattainable and meaningless are different. We fix one channel──Sections 3 and 4 are numbers for the single channel BSC(p=0.11). Other channels have other V and need other n. Relation to earlier papers: Paper 252 counted four quantities called “information,” needing different things──the C here is one of them (a supremum of mutual information), and its attainment is questioned. Paper 294 showed that separation improves only as the square root of length──the 1/sqrt(n) here comes from the same root (the additivity of variance). Paper 163 separated “a good code exists” from “here is a good code”──this paper treats a third: how long it must be. Paper 302 treated how existence does not give quantity──here quantity can be answered, and the answer was infinity. What is added is computing that only 41.68% of capacity is usable at n=100, giving the n required for 99% and 99.99% as 3.4x10^5 and 3.4x10^9, confirming that the loss falls as 1/sqrt(n), and placing as the separator that C is a supremum and not a maximum. First, capacity is fixed by the error rate. For the binary symmetric channel C=1-h(p), and C=0 at p=0.5 (Section 2). Second, this is the core of the paper. At blocklength n=100, only 41.68% of the capacity is usable (Section 3). Third, reaching 99% takes n=3.4x10^5. Reaching 99.99% takes 3.4x10^9 (Section 3). Fourth, the loss falls only as 1/sqrt(n). Multiply n by 100 and the loss is one tenth (Section 4). Fifth, C is not a maximum. R=C is attained at no n, and only as n->infinity does R-> C (Section 5). Sixth, the separator is an attained maximum against an unattained supremum (Section 6). Shannon’s coding theorem says that below C the error can be made arbitrarily small. But C itself is attained at no finite blocklength. Counting on BSC(p=0.11) at error 10^-3: at blocklength 100 only 41.68% of the capacity is usable──99% takes 3.401x10^5, and 99.99% takes 3.4x10^9, a codeword of 3.4 billion bits. The loss falls only as 1/sqrt(n)──multiplying n by 100 divides the loss by 10, from the same root (the additivity of variance) by which Paper 294 measured separation. And at every finite n the loss is positive──C is not the maximum of the set of achievable rates but its supremum. One thing separates them──whether the number belongs to the set or not. Say “a channel of capacity C” and still no device sending C bits exists. What exists is only the fact that devices arbitrarily close to C can be built. 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. ----- シャノンの符号化定理は、通信路容量 C より低い速度なら誤りを任意に小さくできると言う。本稿が問うのは、C そのものは達成できるかである──答は、どんな有限の符号長でも達成できないである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──シャノンの符号化定理、二元対称通信路の容量、ガウス通信路の容量、有限長の正規近似は、いずれも標準的である。情報理論を作らない──使うのは一つの二値エントロピーと、一つの平方根だけである。符号化定理を証明しない──到達性も逆定理も引くだけである。符号を構成しない──どの符号が容量に近づくかは一切扱わない。論文163 の「存在と構成」の区別が、ここでも生きている。正規近似の精度を主張しない──R(n,epsilon)approx C-sqrt(V/n) Q^-1(epsilon) は第二次の近似であり、n が小さいところでは誤差が大きい。 n=100 の 41.68% は目安であって、厳密な達成可能速度ではない。実装を論じない──復号の手間も、遅延も、実際の符号の性能も扱わない。 C を批判しない──上限であることは欠陥ではない。達成されないことと、意味がないことは違う。通信路を一つに絞る──第3・4節はBSC(p=0.11) という一つの通信路での数である。他の通信路では V が変わり、必要な n も変わる。既刊との関係:論文252 は「情報量」が四つあり要るものが違うと数えた──本稿の C はそのうちの一つ(相互情報量の上限)であり、達成条件を問う。論文294 は分離が長さの平方根でしか良くならないと示した──本稿の 1/sqrt(n) は同じ根(分散の加法性)から来る。論文163 は「良い符号が在る」と「これが良い符号だ」を分けた──本稿は三つ目、「どれだけ長ければ良いか」を扱う。論文302 は存在が定量を教えないことを扱った──本稿は定量が答えられる場合であり、答が「無限」だった。加えたのはn=100 で容量の 41.68% しか使えないと計算したこと、99%/99.99% に要る n を 3.4x10^5/3.4x10^9 と出したこと、損失が 1/sqrt(n) で減ると確かめたこと、C が上限であって最大値でないと分離子に据えたことである。 第一に、容量は誤り率から決まる。二元対称通信路で C=1-h(p) であり、p=0.5 で C=0 になる(第2節)。 第二に、これが本稿の芯である。符号長 n=100 では、容量の 41.68% しか使えない(第3節)。 第三に、99% に届くには n=3.4x10^5 が要る。99.99% なら 3.4x10^9 である(第3節)。 第四に、損失は 1/sqrt(n) でしか減らない。 n を 100 倍にして、損失は 10 分の一である(第4節)。 第五に、C は最大値ではない。 R=C ちょうどはどの n でも達成されず、n->infinity ではじめて R-> C になる(第5節)。 第六に、分離子は「達成される最大値か、達成されない上限か」である(第6節)。 シャノンの符号化定理は「R
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
That a weather forecast cannot reach beyond a certain horizon is due neither to missing equations nor to slow computers. This paper asks what sets the limit──the answer is one number, the error doubling time tau_d. 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──exponential error growth, the doubling time, the limit of predictability, and the value tau_dapprox 1.5 days are all standard. We do not build meteorology──all we use is one exponential and its inverse. We do not discuss chaos──the Lorenz equations, attractors, and bifurcations are not treated at all. We do not discuss numerical weather prediction──grid resolution, parameterisation, and data assimilation are not treated. We do not say the error grows exactly exponentially──e^lambda t holds only while the error is small, and growth stops near saturation. The computations here are confined to the linear-growth regime. We assert no value for tau_d──1.5 days is a representative value widely used in the literature, and it moves from about 1 to 2.5 days with season, region, and variable. Section 5 shows the size of that dependence itself. We do not say there is a single exponent──the real atmosphere has different growth rates at different scales, with smaller eddies growing faster. A single tau_d is a crude approximation. We do not deny that forecasts improve──forecasts have in fact grown longer. What this paper says is only that the growth is logarithmic, not that improvement is pointless. Relation to earlier papers: Paper 253 showed that time is one-dimensional because prediction demands it, not because a law says so──this paper turns how far that demand can be met into a number. Paper 195 separated “stable” into six words──that paper is a classification of stability; this one is a time scale of predictability, the same hyperbolicity as material with a different question. Paper 190 measured “rare” on a logarithmic scale──the return here is likewise logarithmic. Paper 266 showed that the premise of the sampling theorem is never met──“knowing the initial state exactly” here is likewise a premise never met, the same figure. What is added is writing the price per day as the fixed factor 1.5874, computing the accuracy needed for 14->21->30->60 days as 25.40 / 1625.5 / 1.70x10^9, writing backwards that 10 times the observation gains only 4.98 days, and sweeping tau_d from 1.0 to 2.5 to show the answer moving from 65536 to 84.4. First, the price per day is a fixed factor. With tau_d=1.5 days, each extra day costs 1.5874 times the initial accuracy (Section 2). Second, this is the core of the paper. Going from 14 to 21 days costs 25.40 times; to 30 days, 1625.5 times; to 60 days, 1.70x10^9 times (Section 2). Third, read backwards, the return is logarithmic. Observing 10 times more precisely gains only 4.98 days (Section 3). Fourth, even 10^9 times gains only 44.85 days (Section 3). Fifth, the familiar “about two weeks” comes from here. If the initial error is 10^-3 of saturation, the forecastable span is 14.95 days (Section 4). Sixth, the separator is tau_d itself. At tau_d=1.0 day the same extension costs 65536 times; at 2.5 days only 84.4──everything rides on one number (Section 5). What sets the limit of forecasting is neither the equations nor the computers, but one number, the error doubling time tau_d. At tau_d=1.5 days, each extra day costs 1.5874 times the initial accuracy──the factor is the same wherever the day is added, but the extension adds while the price multiplies, so one week costs 25.4, two weeks 645, six weeks 1.7 billion. Read backwards, observing 10 times more precisely gains only 4.98 days, and even 10^9 times gains 44.85. The familiar “about two weeks” comes from this one line──14.95 days at an initial error of 10^-3 of saturation. One thing separates them──tau_d itself. At 1.0 day the same extension costs 65536; at 2.5 days, 84.4. A factor of 776 arises from a single number. So the work of extending forecasts and the work of measuring tau_d carry the same weight. 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. ----- 天気予報がある日数より先を当てられないのは、方程式が足りないからでも、計算機が遅いからでもない。本稿が問うのは、何が限界を決めているかである──答は、誤差の二重時間 tau_d という一つの数である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──誤差の指数増大、二重時間、予測可能性の限界、tau_dapprox 1.5 日という値は、いずれも標準的である。気象学を作らない──使うのは一つの指数関数と、その逆関数だけである。カオスを論じない──ローレンツ方程式も、アトラクタも、分岐も一切扱わない。数値予報を論じない──格子解像度も、パラメタリゼーションも、データ同化も扱わない。誤差が厳密に指数増大すると言わない──e^lambda t が成り立つのは誤差が小さいあいだだけであり、飽和に近づけば増大は止まる。本稿の計算は線形増大の領域に限る。 tau_d の値を主張しない──1.5 日は文献で広く用いられる代表値であり、季節・領域・変数によって 1 日から 2.5 日程度まで動く。第5節はこの依存の大きさそのものを示す。単一の指数だと言わない──実際の大気には尺度ごとに違う成長率があり、小さい渦ほど速く育つ。単一の tau_d は粗い近似である。予報の改善を否定しない──現に予報は延びてきた。本稿が言うのはその延び方が対数的であるということだけであり、改善が無意味だとは言わない。既刊との関係:論文253 は時間が一本なのが法則ではなく「予言できる」という要求だと示した──本稿はその要求が、どこまでなら満たせるかを数にする。論文195 は「安定」が六つの別の言葉だと分けた──あちらは安定性の分類、本稿は予測可能性の時間尺度であり、同じ双曲性を材料にして問いが違う。論文190 は「稀」を対数の目盛りで測った──本稿の見返りも対数である。論文266 は標本化定理の前提が決して満たされないと示した──本稿の「初期値を正確に知る」も決して満たされない前提であり、構図が同じである。加えたのは一日あたりの代償を 1.5874 倍という一定倍率として書いたこと、14->21->30->60 日の必要精度を 25.40/1625.5/1.70x10^9 倍と計算したこと、観測 10 倍が 4.98 日にしかならないと逆から書いたこと、tau_d を 1.0 から 2.5 まで振って答が 65536 倍から 84.4 倍まで動くと示したことである。 第一に、一日ごとの代償は一定倍率である。 tau_d=1.5 日なら、一日延ばすたびに初期値の精度が 1.5874 倍要る(第2節)。 第二に、これが本稿の芯である。14 日を 21 日にするのに 25.40 倍、30 日にするのに 1625.5 倍、60 日にするのに 1.70x10^9 倍(第2節)。 第三に、逆から見ると見返りは対数的である。観測を 10 倍精密にしても、延びるのは 4.98 日だけである(第3節)。 第四に、10 億倍にしても 44.85 日である(第3節)。 第五に、約二週間という数がここから出る。初期誤差が飽和の 10^-3 なら、予報可能な期間は 14.95 日(第4節)。 第六に、分離子は「指数か多項式か」である。 tau_d を 1.0 日にすると同じ延長に 65536 倍要り、2.5 日なら 84.4 倍で済む──すべてが一つの数に乗っている(第5節)。 予報の限界を決めているのは、方程式でも計算機でもなく、誤差の二重時間 tau_d という一つの数である。 tau_d=1.5 日なら、一日延ばすたびに初期値の精度が 1.5874 倍要る──どこで延ばしても倍率は同じだが、延長は足し算で、代償は掛け算なので、一週間で 25.4 倍、二週間で 645 倍、一か月半で 17 億倍になる。逆から見れば、観測を 10 倍精密にしても延びるのは 4.98 日であり、10 億倍にしても 44.85 日である。よく言われる「約二週間」も、この一行から出る──初期誤差が飽和の 10^-3 なら 14.95 日。分けるものは一つ──tau_d そのもの。1.0 日なら同じ延長に 65536 倍要り、2.5 日なら 84.4 倍で済む。776 倍の違いが、たった一つの数から生まれる。だから予報を延ばす仕事と、tau_d を測る仕事は、同じ重さを持っている。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The spread of a polymer chain is fixed by a power of the number of units N. For a Gaussian chain it is N^1/2, and for a self-avoiding chain N^0.588. This paper asks where that difference comes from and where it disappears──the answer is the count 2+2=4. 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 N^1/2 of a Gaussian chain, Flory's nu=3/(d+2), the exact three-dimensional value 0.58759, and that the upper critical dimension is 4 are all standard. No polymer physics is built──what is used is one power and a count of dimensions. Flory's formula is not derived──3/(d+2) is cited only, and the balance of free energies from which it comes is not entered. The 0.58759 is not computed──it is a cited value from numerical work and the renormalisation group. The renormalisation group is not entered──Papers 117 and 120 treat it. Rubber elasticity is not treated──an earlier candidate on forces holds the entropic force of a rubber band. This paper is confined to the exponent, not elasticity. Real polymers are not treated──neither solvent quality, nor stiffness, nor branching is treated. Only an idealised chain is examined. Flory's formula is not used at d>=4──it returns values below 0.5 and is outside its range. This paper writes that honestly. Relation to earlier papers: Paper 271 treated the upper critical dimension 4 of mean field──the 4 here is also an upper critical dimension, but in a different phenomenon (an Ising transition against the self-avoidance of a chain) at the same dimension. Paper 256 counted the range needed to tell two exponents apart──this paper counts the converse, how far a small error in an exponent is amplified in the length. Paper 144 read the exponent as the signature of what is conserved──the signature here is the constraint of self-avoidance. Paper 117 separated the four ways in which scale invariance fixes an exponent──the exponent here belongs to one of them, the fixed point. Paper 190 measured rare on a logarithmic scale──this paper likewise writes ratios in orders of magnitude. What is added is computing that an error of 2.11% in the exponent becomes 29.33% in the length at N=10^9, obtaining 10^11.42 as the N at which the ratio reaches 10, writing honestly that Flory's formula returns a physically impossible value at d=5, and writing the origin of the 4 as the count 2+2. First, set the two chains side by side. At N=10^6 the Gaussian chain gives 1000.0 and the self-avoiding chain 3353.8──a factor of 3.3538 (Section 2). Second, the gap keeps opening with N. At N=10^12 it is 11.2481, and the ratio reaches 10 at N=10^11.42 (Section 2). Third, this is the core of the paper. Flory's formula gives nu=0.6 against the exact 0.58759──an error of 2.11% in the exponent, which at N=10^9 becomes 29.33% in the length (Section 3). Fourth, the two coincide in four dimensions. Flory's 3/(d+2) is exactly 0.5000 at d=4──a difference of zero from the Gaussian chain (Section 4). Fifth, and there the formula ends its office. At d=5 it returns 0.4286, which falls below 0.5 and is physically impossible (Section 4). Sixth, the 4 comes out of a count. The images of two d-dimensional walks have dimensions summing to 2+2=4──above d=4 they do not meet in general position, so there is nothing to avoid (Section 5). what changed the exponent of the chain was one constraint alone, that it avoid itself. In three dimensions 0.5 becomes 0.58759, and at N=10^12 the lengths differ by 11.2481. And Flory's approximation, out by only 2.11% in the exponent, is out by 29.33% in the length at N=10^9──a small error inside a power is amplified with the orders of magnitude. But in four dimensions that difference disappears exactly. The reason is a count in geometry──the dimensions of two paths sum to 2+2=4, so for d>4 they do not meet in general position. The constraint did not disappear; what it constrained did. And there Flory's formula ends its office too──at d=5 it returns 0.4286, the impossible claim that a chain avoiding itself is more compact than one that does not. One thing separates them──confirming by a count whether the constraint still tells. Confirm it, and the range in which the formula may be used becomes clear. Do not confirm it, and one reads 0.4286 as a property of a chain. 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. ----- 高分子の鎖の広がりは、単位数 N の冪で決まる。ガウス鎖では N^1/2、自分を避ける鎖では N^0.588 である。本稿が問うのは、その差がどこから来て、どこで消えるのかである──答は、2+2=4 という数え上げである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ガウス鎖の N^1/2、フローリーの nu=3/(d+2)、三次元の厳密値 0.58759、上部臨界次元が 4 であることは、いずれも標準的である。高分子物理を作らない──使うのは一つの冪と、次元の数え上げだけである。フローリーの式を導出しない──3/(d+2) を引くだけであり、自由エネルギーの平衡から出す議論には立ち入らない。0.58759 を計算しない──数値計算とくりこみ群による引用値である。くりこみ群に立ち入らない──論文117・120 が扱う。ゴム弾性を扱わない──第四波候補「力は六つあり」がゴム紐のエントロピー力を持つ。本稿は弾性ではなく指数に絞る。実在の高分子を扱わない──溶媒の良し悪しも、剛直性も、分岐も扱わない。理想化された鎖だけを見る。 d=5 以上でフローリーの式を使わない──0.5 を下回る値を返すので適用範囲の外である。本稿はこれを正直に書く。既刊との関係:論文271 は平均場の上部臨界次元が 4 であることを扱った──本稿の 4 も上部臨界次元だが、別の現象(イジングの相転移と、鎖の自己回避)で同じ次元が出ている。論文256 は二つの指数を見分けるのに要る範囲を数えた──本稿は逆に、指数のわずかな誤差が長さでどれだけ増幅されるかを数える。論文144 は指数を、何が保存しているかの署名として読んだ──本稿の署名は自己回避という束縛である。論文117 はスケール不変性が四通りに指数を選ぶことを分けた──本稿はその一つ(不動点)に属する指数を扱う。論文190 は「稀」を対数の目盛りで測った──本稿も比を桁で書く。加えたのは指数の 2.11% の誤差が N=10^9 の長さで 29.33% に増幅されると計算したこと、自己回避とガウスの比が 10 になる N を 10^11.42 と出したこと、d=5 でフローリーの式が物理的にありえない値を返すと正直に書いたこと、4 の出どころを 2+2 の数え上げとして書いたことである。 第一に、二つの鎖を並べる。 N=10^6 でガウス鎖は 1000.0、自己回避鎖は 3353.8──3.3538 倍である(第2節)。 第二に、差は N とともに開き続ける。 N=10^12 で 11.2481 倍、比が 10 になるのは N=10^11.42 である(第2節)。 第三に、これが本稿の芯である。フローリーの式は nu=0.6、厳密値は 0.58759──指数の誤差は 2.11% だが、N=10^9 の長さでは 29.33% になる(第3節)。 第四に、四次元で二つが一致する。フローリーの 3/(d+2) は d=4 でちょうど 0.5000──ガウス鎖と差がゼロになる(第4節)。 第五に、そこでフローリーの式は役目を終える。 d=5 では 0.4286 を返すが、これは 0.5 を下回るので物理的にありえない(第4節)。 第六に、4 の出どころは数え上げである。 d 次元の道二本の像は合わせて 2+2=4 次元──d>4 では一般の位置で交わらないので、避ける必要がそもそも生じない(第5節)。 鎖の指数を変えたのは、「自分を避ける」という束縛ただ一つであった。三次元では 0.5 が 0.58759 になり、N=10^12 では長さが 11.2481 倍違ってくる。そしてフローリーの近似は指数を 2.11% しか外さないのに、N=10^9 の長さでは 29.33% 外す──冪の中の小さな誤差は、桁とともに増幅される。だが四次元で、この差がちょうど消える。理由は幾何の数え上げである──二本の道の次元の和が 2+2=4 なので、d>4 では一般の位置で交わらない。束縛が消えたのではなく、束縛すべき相手が居なくなったのである。そしてそこでフローリーの式も役目を終える──d=5 で 0.4286 という、避ける鎖が避けない鎖より縮むというありえない値を返す。分けるものは一つ──束縛が効く場面かどうかを、数え上げで確かめること。確かめれば、式を使ってよい範囲が分かる。確かめなければ、0.4286 という値を鎖の性質として読んでしまう。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には 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
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