Between the plates of a charging capacitor, not one charge crosses. And still a magnetic field stands there. This paper asks what, then, a current is──the answer is not the motion of charge. What closes Ampere's law is what has been called a current. 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 Ampere-Maxwell law, the displacement current, and the field of a parallel-plate capacitor are all standard. No electromagnetism is built──what is used is one line integral and the comparison of two expressions. Maxwell's equations are not derived──Paper 93 treats the discovery of the field and Paper 116 the exponent of c. This paper receives the equations as a premise and asks only after the standing of one term. No physical medium is posited for the displacement current──neither an ether nor a polarisation of the vacuum is invoked. Only the behaviour of a term in an equation is treated. The relativistic treatment is not entered──that displacement and conduction currents exchange with the observer is mentioned but not formalised. Edge effects are not treated──the plates are taken as large with no fringing, and the numbers are values inside that idealisation. The standing of epsilon_0 is not discussed──since the SI revision of 2019, epsilon_0 is a measured quantity. This paper uses it as a conversion constant and does not make its standing a subject. The 4pi in mu_0 is not called a discovery──mu_0=4pix10^-7 comes from the choice of units. Paper 116 treated the non-uniqueness of 4pi, and this paper follows it in writing that this one is a choice of units. Relation to earlier papers: Paper 02 showed that a pure solid angle 4pi appears in an inverse-square field──Section 6 here looks at the 4pi in mu_0 and writes that its standing is not the same. Paper 116 treated the non-uniqueness of 4pi──this paper follows that and claims no credit for the 4pi here. Paper 258 wrote the condition for 4pi to appear as three items──this paper stands on the side where the condition is not met. Paper 240 counted “mass” as seven things──this paper writes that “current” does not have one meaning. Paper 201 counted “complete” as four different claims──the same shape of division. What is added is stating explicitly that the crossing charge is 0 A, computing the field between the plates at each distance, confirming that the inside and outside expressions agree at 4.0000 muT on the rim, and treating the 4pi of mu_0 as a choice of units and writing that its standing differs from the 4pi of Paper 02. First, count the charge that crosses. The conduction current in the wire is 1 A, and the charge crossing between the plates is 0 A (Section 2). Second, this is the core of the paper. The charge is zero and a field stands anyway. With plates of radius 5 cm and I=1 A, the field 1 cm from the axis is 0.8000 muT (Section 3). Third, the field grows in proportion to the distance from the axis. At 1,2,3,4,5 cm it is 0.8000,1.6000,2.4000,3.2000,4.0000 muT──the same form as inside a current-carrying wire (Section 3). Fourth, the two meet exactly at the rim. At r=5 cm, the inside expression and the outside expression both give 4.0000 muT──the side where no charge crosses and the side where it does return the same value (Section 4). Fifth, epsilon_0 dPhi_E/dt equals the conduction current exactly. What makes them agree is the conversion constant epsilon_0=8.8541878x10^-12 (Section 5). Sixth, a 4pi sits here too. mu_0=4pix10^-7=1.2566371x10^-6──a solid angle sits inside the constant that fixes the size of the field (Section 6). the displacement current was not a current. The charge crossing between the plates is 0 A, and there is nothing to carry it. Still the field stands, rising in proportion to r and reaching 4.0000 muT at the rim──and computing with the outside expression, where charge does cross, returns the same 4.0000 muT. The epsilon_0 cancels and dQ/dt remains, so the two agree exactly and not approximately. So the word “current” carries two definitions──the motion of charge and what closes Ampere's law. And the 4pi inside mu_0 likewise differs in standing from the 4pi that came out of geometry──this one is embedded in the definition of a unit. One thing separates them──writing down which of the two definitions the word is being used in. Write it down, and the occasions for looking for charge separate from those for counting terms in an equation. Do not write it down, and one goes on searching for something crossing a place where nothing does. 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. ----- 充電中のコンデンサの板のあいだには、電荷が一つも渡っていない。それでも、そこには磁場が立っている。本稿が問うのは、では「電流」とは何なのかである──答は、電荷の移動ではない。アンペール則を閉じるものが電流と呼ばれている。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──アンペール=マクスウェル則、変位電流、平行平板コンデンサの磁場は、いずれも標準的である。電磁気学を作らない──使うのは一つの周回積分と、二つの式の突き合わせだけである。マクスウェル方程式を導かない──論文93 が場という発見を、論文116 が c の冪を扱う。本稿は方程式を前提として受け取り、その一項の身分だけを問う。変位電流に物理的な媒質を仮定しない──エーテルも、真空の分極も持ち出さない。扱うのは式の項としての振る舞いだけである。相対論的な扱いに立ち入らない──変位電流と伝導電流が観測者によって入れ替わることには触れるが、定式化しない。端の効果を扱わない──板は十分大きく、縁の漏れは無視している。数値は理想化の内側の値である。 epsilon_0 の身分を論じない──2019 年のSI改定以降 epsilon_0 は測定量である。本稿は換算係数として使うだけで、その身分を主題にしない。 mu_0 の 4pi を発見だと言わない──mu_0=4pix10^-7 は単位系の取り方から来る。論文116 が 4pi の非一意性を扱っており、本稿もそれを踏まえて「単位の選択である」と書く。既刊との関係:論文02 は逆二乗場に純粋立体角 4pi が現れることを示した──本稿の第6節は mu_0 の中の 4pi を見るが、そちらは単位の選択であって同じ身分ではないと書く。論文116 は 4pi の非一意性を扱った──本稿はその指摘に従い、mu_0 の 4pi を手柄にしない。論文258 は 4pi が出る条件を三つに書き出した──本稿は条件を満たさない例の側に立つ。論文240 は「質量」が七つあることを数えた──本稿は「電流」が一つの意味ではないことを書く。論文201 は「完備」が四つの別の主張であることを数えた──同じ形の分け方である。加えたのは渡る電荷が 0 A であることを明示したこと、板の中の磁場を距離ごとに計算したこと、縁で内外の式が 4.0000 muT で一致することを確かめたこと、mu_0 の 4pi を単位の選択として扱い、論文02 の 4pi と身分が違うと書いたことである。 第一に、渡っている電荷を数える。導線を流れる伝導電流は 1 A、板のあいだを渡る電荷は 0 A である(第2節)。 第二に、これが本稿の芯である。電荷が 0 なのに磁場が立つ。板半径 5 cm、I=1 A で、中心から 1 cm の点の磁場は 0.8000 muT である(第3節)。 第三に、磁場は中心からの距離に比例して増える。1,2,3,4,5 cm で 0.8000,1.6000,2.4000,3.2000,4.0000 muT──導線の中の磁場と同じ形である(第3節)。 第四に、縁でぴたりと繋がる。板の縁 r=5 cm を、中の式で計算しても外の式で計算しても 4.0000 muT になる──電荷が渡っていない側と、渡っている側が、同じ値を返す(第4節)。 第五に、epsilon_0 dPhi_E/dt が伝導電流と厳密に一致する。一致させているのは epsilon_0=8.8541878x10^-12 という換算係数である(第5節)。 第六に、ここにも 4pi が座っている。 mu_0=4pix10^-7=1.2566371x10^-6──磁場の大きさを決めている定数の中に、球の立体角が入っている(第6節)。 変位電流は、電流ではなかった。板のあいだを渡る電荷は 0 A であり、運ぶものが何も無い。それでも磁場は立ち、r に比例して増え、縁で 4.0000 muT になる──そして電荷が渡っている外側の式で計算しても、同じ 4.0000 muT が返る。 epsilon_0 が約分されて dQ/dt が残るので、二つは近似ではなく厳密に一致している。つまり「電流」という語には二つの定義がある──電荷の移動と、アンペール則を閉じるものである。そして mu_0 の中の 4pi もまた、幾何から出た 4pi とは身分が違う──こちらは単位の定義に埋め込まれている。分けるものは一つ──その語をどちらの定義で使っているのかを書き出すこと。書き出せば、電荷を探すべき場面と、式の項を数えるべき場面が分かれる。書き出さなければ、何も渡っていない場所に、渡っているものを探し続けることになる。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Ramsey’s theorem says that if it is large enough, order must appear. This paper asks how large “large enough” is──the answer is the theorem does not say. 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──Ramsey’s theorem, the known values and ranges of Ramsey numbers, van der Waerden numbers, and Erdos’s probabilistic lower bound are all standard. We do not build combinatorics──all we use is one binomial coefficient and two logarithms. We do not prove Ramsey’s theorem──we merely quote it. We do not compute Ramsey numbers──no attempt is made to find R(5,5). We count only the effort it would take. We assert no values for the ranges──R(5,5) in [43,48] and R(6,6) in [102,160] are ranges known at one epoch and may be improved. The claim is that the range is not empty, not the endpoints. We do not say exhaustion is the only route──actual searches cut enormously by symmetry and pruning. 2^903 is a naive upper bound, not the necessary work. The point is the order of magnitude by which it remains out of reach. We do not use “Ackermann type” strictly──it indicates that the pre-Gowers bound was of a tower-of-growing-height kind. This paper asserts no classification of the bound, only its divergence from the true value. Relation to earlier papers: Paper 163 separated “a good code exists” from “here is a good code”──that is existence against construction; this is existence against quantity. It treats the case where one can construct yet cannot reach, so the cut differs. Paper 179 showed that “cannot be constructed” has distinct roots──this paper treats what can be constructed yet is out of reach. Paper 190 measured “rare” on a logarithmic scale──the 271.8 orders here are read logarithmically too. Paper 259 showed there are two roads to independence──this paper likewise asks what kinds of showing there are. What is added is computing the exhaustion for R(5,5) as 10^271.8 and measuring the gap to the atoms of the universe as 191.8 orders, lining up the jumps at R(3,3), R(4,4), R(5,5), computing that the probabilistic lower bound is one 24.94th at k=10, and placing the separator at existence against quantity. First, only two values are settled. R(3,3)=6 and R(4,4)=18; R(5,5) is pinned only to the range [43,48] (Section 2). Second, this is the core of the paper. Checking R(5,5)=43 by exhaustion needs 2^903=10^271.8 colourings, 191.8 orders more than the atoms in the universe (Section 3). Third, each step up jumps. R(3,3) is 32768 colourings, within reach by hand; R(4,4) is 1.14x10^46, which computers barely reached (Section 3). Fourth, the lower-bound proof does not give the value either. Erdos’s probabilistic method gives R(k,k)>2^k/2, which at k=10 is one 24.94th of the truth (Section 4). Fifth, the upper bound is further off still. W(3,3)=27, yet the bound from the classical proof was of Ackermann type (Section 5). Sixth, the separator is existence against quantity. A different cut from Paper 163’s existence against construction (Section 6). Ramsey’s theorem says that if it is large enough, order must appear. But it does not say how large. Only R(3,3)=6 and R(4,4)=18 are settled, and R(5,5) is pinned only to the range [43,48]──even settling R(4,4) took 65 years from the theorem. Counting the work of exhaustion shows why──R(5,5)=43 has 903 edges and 2^903=10^271.8 colourings, 191.8 orders more than the atoms in the observable universe. What is lacking is not the speed of computers but the quantity of matter. The lower bound is no better──the probabilistic method gives R(k,k)>2^k/2, one 24.94th of the truth at k=10, and the ratio widens with k. The upper bound is further off still──W(3,3) is truly 27, yet the classical bound could not be written down. A theorem’s upper bound measures the power of the proof’s tools, not the size of the object. One thing separates them──whether it exists, how large it is, and which one it is, are three different questions. The first may be “yes” while the other two stay open. The single word “proved” points at only one of the three. 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. ----- ラムゼーの定理は「十分大きければ必ず秩序が現れる」と言う。本稿が問うのは、「十分大きい」がどれだけかである──答は、定理は教えないである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ラムゼーの定理、ラムゼー数の既知の値と範囲、ファン・デル・ヴェルデン数、エルデシュの確率論的下限は、いずれも標準的である。組合せ論を作らない──使うのは一つの二項係数と、二つの対数だけである。ラムゼーの定理を証明しない──引くだけである。ラムゼー数を計算しない──R(5,5) の値を求めようとはしていない。求めるのに要る手間だけを数える。範囲の値を主張しない──R(5,5) in [43,48]、R(6,6) in [102,160] はある時点で知られている範囲であり、改善されうる。本稿の主張は範囲が空でないことであって、端の値ではない。総当たりが唯一の道だと言わない──実際の探索は対称性と枝刈りで大幅に減らす。2^903 は素朴な上界であって、必要な計算量ではない。それでも到底届かない、という桁の話である。アッカーマン級という語を厳密に使わない──ガワーズ以前の上界が塔の高さが増える型だったことを指す。本稿は上界の形を主張せず、真の値との乖離だけを言う。既刊との関係:論文163 は「良い符号が在る」と「これが良い符号だ」を分けた──あちらは存在と構成、本稿は存在と定量である。構成できても大きさが分からない場合を扱うので、切り口が違う。論文179 は「構成できない」に別根があると示した──本稿は構成できるのに手が届かない場合である。論文190 は「稀」を対数の目盛りで測った──本稿の 271.8 桁も対数で読む。論文259 は独立性を示す道が二つあると示した──本稿も示し方の種類を問う。加えたのはR(5,5) の総当たりを 10^271.8 通りと計算し、宇宙の原子との差を 191.8 桁と測ったこと、R(3,3)・R(4,4)・R(5,5) で手間が跳ぶ段を並べたこと、確率論的下限が k=10 で 24.94 分の一だと計算したこと、分離子を「存在と定量」に置いたことである。 第一に、確定している値は二つだけである。 R(3,3)=6 と R(4,4)=18 で、R(5,5) は[43,48] の範囲にしか収まっていない(第2節)。 第二に、これが本稿の芯である。 R(5,5)=43 を総当たりで確かめるには 2^903=10^271.8 通りが要り、宇宙の原子より 191.8 桁多い(第3節)。 第三に、一段上がるごとに跳ぶ。 R(3,3) は 32768 通りで手が届き、R(4,4) は 1.14x10^46 通りで計算機がようやく届いた(第3節)。 第四に、下限の証明も値を教えない。エルデシュの確率論的方法は R(k,k)>2^k/2 を与えるが、k=10 で実際の 24.94 分の一である(第4節)。 第五に、上界はもっと外れる。 W(3,3)=27 なのに、古典的証明が与えた上界はアッカーマン級だった(第5節)。 第六に、分離子は「存在と定量」である。論文163 の「存在と構成」とは別の切り口である(第6節)。 ラムゼーの定理は「十分大きければ必ず秩序が現れる」と言う。だが「十分大きい」を教えない。確定している値は R(3,3)=6 と R(4,4)=18 の二つだけで、R(5,5) は[43,48] の範囲にしか収まっていない──R(4,4) の確定でさえ、定理から 65 年かかった。総当たりの手間を数えれば理由が分かる──R(5,5)=43 は辺が 903 本、塗り分けが 2^903=10^271.8 通りで、観測可能な宇宙の原子より 191.8 桁多い。足りないのは計算機の速さではなく、物質の量である。下限の側も同じである──確率論的方法は R(k,k)>2^k/2 を与えるが、k=10 で実際の 24.94 分の一であり、比は k とともに開いていく。上界はもっと外れる──W(3,3) の真の値は 27 なのに、古典的証明の上界は書き下せない大きさだった。定理の上界は、証明の道具の性能を測っているのであって、対象の大きさを測っていない。分けるものは一つ──存在するかと、いくつかと、どれかは、三つの別の問いである。一つ目が「はい」でも、残り二つは開いたままでありうる。「証明された」という一語が、三つのうち一つしか指していない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The doubling strategy──stake twice as much after every loss──can push the win rate arbitrarily close to 1. This paper asks whether the expectation moves with it──the answer is it stays exactly 0. 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 doubling strategy, martingales, the optional stopping theorem and its three sufficient conditions are all standard. We do not build probability theory──all we use is one geometric series and one expectation. We do not prove the optional stopping theorem──the sufficient conditions are merely quoted, and we do not enter the proof. We do not recommend gambling──this paper only counts how the expectation behaves. As Section 4 shows, in a game with a house edge the expectation is negative. We do not discuss optimal strategy──we do not enter the Kelly criterion, utility functions, or minimising the probability of ruin. We do not discuss real casinos──table limits and the practicalities of capital constraints are not treated. The bankroll 2^k-1 is a mathematical setting. We do not call variance evil──the factor of 1024 in Section 3 is a statement of fact, and we do not claim that large variance is always bad. We do not treat the tails──Paper 190 treated heavy tails and large deviations. This paper does not enter the shape of the distribution and counts only expectation and variance. Relation to earlier papers: Paper 143 showed that minimum entropy production is not a principle but a theorem with a fence──the optional stopping theorem here is likewise a theorem with a fence, of the same shape: remove the fence and the conclusion collapses. Paper 194 showed that the four means are one family with only one fence of equality──here too there is only one fence. Paper 220 counted four things called “independence”──the successive bets here are independent in one of those senses. Paper 190 measured “rare” on a logarithmic scale──the 2^-20 here is likewise read logarithmically. What is added is computing that the expectation is exactly 0 for every k, showing that the product of loss and probability is 1-2^-k and balances the gain exactly, measuring the standard deviation as 1024 times larger, computing that a house edge makes the expected loss 26.07 times larger, and naming the fence as capital rather than probability. First, the win rate can be raised without limit. A bankroll of 2^k-1 survives k consecutive losses, and at k=20 the win rate is 99.9999046% (Section 2). Second, this is the core of the paper. The expectation is nevertheless exactly 0 for every k──1-2^-k-1+2^-k=0 (Section 2). Third, the product of loss and its probability exactly balances the gain.2^-kx(2^k-1)=1-2^-k, which tends to 1 (Section 3). Fourth, what moved is the variance. At k=20 the standard deviation becomes 1024 times larger while the expectation stays 0 (Section 3). Fifth, with a house edge it gets worse. To win the same 1 unit, the expected loss becomes 26.07 times larger (Section 4). Sixth, the separator is capital, not probability. Make the capital unbounded and all three premises of the optional stopping theorem fail (Section 5). A strategy that wins 99.9999% of the time has expectation exactly 0. A bankroll of 2^k-1 survives k consecutive losses, and at k=20 the win rate is 99.9999046%──yet (1-2^-k)-2^-k(2^k-1)=0 holds identically. What balances is the product──lowering the losing probability to 2^-k and raising the loss to 2^k-1 are one and the same operation, and one cannot move only one of them. What moved was the variance alone──doubling multiplied the standard deviation by 1024 and left the expectation at 0. With a house edge it is worse still──chasing the same 1 unit makes the expected loss 26.07 times larger. One thing separates them──not probability, but capital. With unbounded capital all three premises of the optional stopping theorem fail, and a fair game yields a certain profit. The fence stands on the side of capital, not of probability. So the figure “a win rate of 99.9999%” guarantees nothing on its own. 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. ----- 負けたら賭金を倍にする「倍賭け」は、勝率をいくらでも 1 に近づけられる。本稿が問うのは、それで期待値が動くかである──答は、ちょうど 0 のままである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──倍賭け戦略、マルチンゲール、任意停止定理、その三つの十分条件は、いずれも標準的である。確率論を作らない──使うのは一つの等比級数と、一つの期待値の計算だけである。任意停止定理を証明しない──十分条件を引くだけであり、証明には立ち入らない。賭博を勧めない──本稿は期待値がどう振る舞うかだけを数える。第4節が示すとおり、胴元の取り分がある賭けでは期待値は負である。最適戦略を論じない──ケリー基準にも、効用関数にも、破産確率の最小化にも立ち入らない。現実の賭場を論じない──賭金上限も、資金制約の実際も扱わない。資金 2^k-1 は数学的な設定である。分散を悪だと言わない──第3節の 1024 倍は事実の記述であって、分散が大きいことが常に悪いとは主張しない。裾の分布を扱わない──論文190 が重い裾と大偏差を扱った。本稿は分布の形に入らず、期待値と分散だけを数える。既刊との関係:論文143 は最小エントロピー生成が原理ではなく柵つきの定理だと示した──本稿の任意停止定理も柵つきの定理であり、柵が外れると結論が崩れるという同じ形である。論文194 は四つの平均が一つの族であり、等号の柵が一つしかないと示した──本稿も柵が一つだけである。論文220 は「独立」が四つあると数えた──本稿の各回の賭けはそのうち一つの意味で独立である。論文190 は「稀」を対数の目盛りで測った──本稿の 2^-20 も対数で読む。加えたのは期待値が k によらず厳密に 0 になると計算したこと、負ける確率と損失の積が 1-2^-k で利得とちょうど釣り合うと示したこと、標準偏差が 1024 倍になると測ったこと、胴元の取り分があると期待損失が 26.07 倍になると計算したこと、柵を「確率ではなく資金」と名指したことである。 第一に、勝率はいくらでも上げられる。資金 2^k-1 で k 連敗まで耐えられ、k=20 なら勝率は 99.9999046% である(第2節)。 第二に、これが本稿の芯である。それでも期待値は k によらずちょうど 0──1-2^-k-1+2^-k=0 である(第2節)。 第三に、負ける確率と損失の積が、利得とちょうど釣り合う。2^-kx(2^k-1)=1-2^-k であり、k->infinity で 1 に近づく(第3節)。 第四に、動いたのは分散である。 k=20 で標準偏差が 1024 倍になり、期待値は 0 のままである(第3節)。 第五に、胴元の取り分があると悪化する。同じ 1 単位を勝つのに、期待損失が 26.07 倍になる(第4節)。 第六に、分離子は確率ではなく資金である。資金を無限にすると任意停止定理の前提が三つとも破れる(第5節)。 勝率 99.9999% の戦略の期待値は、ちょうど 0 である。資金 2^k-1 で k 連敗まで耐えられ、k=20 なら勝率は 99.9999046%──それでも (1-2^-k)-2^-k(2^k-1)=0 が恒等的に成り立つ。釣り合っているのは積である──負ける確率を 2^-k に下げる操作と、損失を 2^k-1 に上げる操作が、同じ一つの操作であり、片方だけを動かすことはできない。動いたのは分散だけである──倍賭けは標準偏差を 1024 倍にし、期待値は 0 のまま置いた。胴元の取り分があれば、さらに悪い──同じ 1 単位を狙うのに、期待損失が 26.07 倍になる。分けるものは一つ──確率ではなく、資金。資金が無限なら任意停止定理の前提が三つとも破れ、公平な賭けから確実な利益が出てしまう。柵は確率の側ではなく、資金の側に立っている。だから「勝率 99.9999%」という数字は、それだけでは何も保証しない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Ramsey’s theorem says that if it is large enough, order must appear. This paper asks how large “large enough” is──the answer is the theorem does not say. 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──Ramsey’s theorem, the known values and ranges of Ramsey numbers, van der Waerden numbers, and Erdos’s probabilistic lower bound are all standard. We do not build combinatorics──all we use is one binomial coefficient and two logarithms. We do not prove Ramsey’s theorem──we merely quote it. We do not compute Ramsey numbers──no attempt is made to find R(5,5). We count only the effort it would take. We assert no values for the ranges──R(5,5) in [43,48] and R(6,6) in [102,160] are ranges known at one epoch and may be improved. The claim is that the range is not empty, not the endpoints. We do not say exhaustion is the only route──actual searches cut enormously by symmetry and pruning. 2^903 is a naive upper bound, not the necessary work. The point is the order of magnitude by which it remains out of reach. We do not use “Ackermann type” strictly──it indicates that the pre-Gowers bound was of a tower-of-growing-height kind. This paper asserts no classification of the bound, only its divergence from the true value. Relation to earlier papers: Paper 163 separated “a good code exists” from “here is a good code”──that is existence against construction; this is existence against quantity. It treats the case where one can construct yet cannot reach, so the cut differs. Paper 179 showed that “cannot be constructed” has distinct roots──this paper treats what can be constructed yet is out of reach. Paper 190 measured “rare” on a logarithmic scale──the 271.8 orders here are read logarithmically too. Paper 259 showed there are two roads to independence──this paper likewise asks what kinds of showing there are. What is added is computing the exhaustion for R(5,5) as 10^271.8 and measuring the gap to the atoms of the universe as 191.8 orders, lining up the jumps at R(3,3), R(4,4), R(5,5), computing that the probabilistic lower bound is one 24.94th at k=10, and placing the separator at existence against quantity. First, only two values are settled. R(3,3)=6 and R(4,4)=18; R(5,5) is pinned only to the range [43,48] (Section 2). Second, this is the core of the paper. Checking R(5,5)=43 by exhaustion needs 2^903=10^271.8 colourings, 191.8 orders more than the atoms in the universe (Section 3). Third, each step up jumps. R(3,3) is 32768 colourings, within reach by hand; R(4,4) is 1.14x10^46, which computers barely reached (Section 3). Fourth, the lower-bound proof does not give the value either. Erdos’s probabilistic method gives R(k,k)>2^k/2, which at k=10 is one 24.94th of the truth (Section 4). Fifth, the upper bound is further off still. W(3,3)=27, yet the bound from the classical proof was of Ackermann type (Section 5). Sixth, the separator is existence against quantity. A different cut from Paper 163’s existence against construction (Section 6). Ramsey’s theorem says that if it is large enough, order must appear. But it does not say how large. Only R(3,3)=6 and R(4,4)=18 are settled, and R(5,5) is pinned only to the range [43,48]──even settling R(4,4) took 65 years from the theorem. Counting the work of exhaustion shows why──R(5,5)=43 has 903 edges and 2^903=10^271.8 colourings, 191.8 orders more than the atoms in the observable universe. What is lacking is not the speed of computers but the quantity of matter. The lower bound is no better──the probabilistic method gives R(k,k)>2^k/2, one 24.94th of the truth at k=10, and the ratio widens with k. The upper bound is further off still──W(3,3) is truly 27, yet the classical bound could not be written down. A theorem’s upper bound measures the power of the proof’s tools, not the size of the object. One thing separates them──whether it exists, how large it is, and which one it is, are three different questions. The first may be “yes” while the other two stay open. The single word “proved” points at only one of the three. 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. ----- ラムゼーの定理は「十分大きければ必ず秩序が現れる」と言う。本稿が問うのは、「十分大きい」がどれだけかである──答は、定理は教えないである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ラムゼーの定理、ラムゼー数の既知の値と範囲、ファン・デル・ヴェルデン数、エルデシュの確率論的下限は、いずれも標準的である。組合せ論を作らない──使うのは一つの二項係数と、二つの対数だけである。ラムゼーの定理を証明しない──引くだけである。ラムゼー数を計算しない──R(5,5) の値を求めようとはしていない。求めるのに要る手間だけを数える。範囲の値を主張しない──R(5,5) in [43,48]、R(6,6) in [102,160] はある時点で知られている範囲であり、改善されうる。本稿の主張は範囲が空でないことであって、端の値ではない。総当たりが唯一の道だと言わない──実際の探索は対称性と枝刈りで大幅に減らす。2^903 は素朴な上界であって、必要な計算量ではない。それでも到底届かない、という桁の話である。アッカーマン級という語を厳密に使わない──ガワーズ以前の上界が塔の高さが増える型だったことを指す。本稿は上界の形を主張せず、真の値との乖離だけを言う。既刊との関係:論文163 は「良い符号が在る」と「これが良い符号だ」を分けた──あちらは存在と構成、本稿は存在と定量である。構成できても大きさが分からない場合を扱うので、切り口が違う。論文179 は「構成できない」に別根があると示した──本稿は構成できるのに手が届かない場合である。論文190 は「稀」を対数の目盛りで測った──本稿の 271.8 桁も対数で読む。論文259 は独立性を示す道が二つあると示した──本稿も示し方の種類を問う。加えたのはR(5,5) の総当たりを 10^271.8 通りと計算し、宇宙の原子との差を 191.8 桁と測ったこと、R(3,3)・R(4,4)・R(5,5) で手間が跳ぶ段を並べたこと、確率論的下限が k=10 で 24.94 分の一だと計算したこと、分離子を「存在と定量」に置いたことである。 第一に、確定している値は二つだけである。 R(3,3)=6 と R(4,4)=18 で、R(5,5) は[43,48] の範囲にしか収まっていない(第2節)。 第二に、これが本稿の芯である。 R(5,5)=43 を総当たりで確かめるには 2^903=10^271.8 通りが要り、宇宙の原子より 191.8 桁多い(第3節)。 第三に、一段上がるごとに跳ぶ。 R(3,3) は 32768 通りで手が届き、R(4,4) は 1.14x10^46 通りで計算機がようやく届いた(第3節)。 第四に、下限の証明も値を教えない。エルデシュの確率論的方法は R(k,k)>2^k/2 を与えるが、k=10 で実際の 24.94 分の一である(第4節)。 第五に、上界はもっと外れる。 W(3,3)=27 なのに、古典的証明が与えた上界はアッカーマン級だった(第5節)。 第六に、分離子は「存在と定量」である。論文163 の「存在と構成」とは別の切り口である(第6節)。 ラムゼーの定理は「十分大きければ必ず秩序が現れる」と言う。だが「十分大きい」を教えない。確定している値は R(3,3)=6 と R(4,4)=18 の二つだけで、R(5,5) は[43,48] の範囲にしか収まっていない──R(4,4) の確定でさえ、定理から 65 年かかった。総当たりの手間を数えれば理由が分かる──R(5,5)=43 は辺が 903 本、塗り分けが 2^903=10^271.8 通りで、観測可能な宇宙の原子より 191.8 桁多い。足りないのは計算機の速さではなく、物質の量である。下限の側も同じである──確率論的方法は R(k,k)>2^k/2 を与えるが、k=10 で実際の 24.94 分の一であり、比は k とともに開いていく。上界はもっと外れる──W(3,3) の真の値は 27 なのに、古典的証明の上界は書き下せない大きさだった。定理の上界は、証明の道具の性能を測っているのであって、対象の大きさを測っていない。分けるものは一つ──存在するかと、いくつかと、どれかは、三つの別の問いである。一つ目が「はい」でも、残り二つは開いたままでありうる。「証明された」という一語が、三つのうち一つしか指していない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The doubling strategy──stake twice as much after every loss──can push the win rate arbitrarily close to 1. This paper asks whether the expectation moves with it──the answer is it stays exactly 0. 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 doubling strategy, martingales, the optional stopping theorem and its three sufficient conditions are all standard. We do not build probability theory──all we use is one geometric series and one expectation. We do not prove the optional stopping theorem──the sufficient conditions are merely quoted, and we do not enter the proof. We do not recommend gambling──this paper only counts how the expectation behaves. As Section 4 shows, in a game with a house edge the expectation is negative. We do not discuss optimal strategy──we do not enter the Kelly criterion, utility functions, or minimising the probability of ruin. We do not discuss real casinos──table limits and the practicalities of capital constraints are not treated. The bankroll 2^k-1 is a mathematical setting. We do not call variance evil──the factor of 1024 in Section 3 is a statement of fact, and we do not claim that large variance is always bad. We do not treat the tails──Paper 190 treated heavy tails and large deviations. This paper does not enter the shape of the distribution and counts only expectation and variance. Relation to earlier papers: Paper 143 showed that minimum entropy production is not a principle but a theorem with a fence──the optional stopping theorem here is likewise a theorem with a fence, of the same shape: remove the fence and the conclusion collapses. Paper 194 showed that the four means are one family with only one fence of equality──here too there is only one fence. Paper 220 counted four things called “independence”──the successive bets here are independent in one of those senses. Paper 190 measured “rare” on a logarithmic scale──the 2^-20 here is likewise read logarithmically. What is added is computing that the expectation is exactly 0 for every k, showing that the product of loss and probability is 1-2^-k and balances the gain exactly, measuring the standard deviation as 1024 times larger, computing that a house edge makes the expected loss 26.07 times larger, and naming the fence as capital rather than probability. First, the win rate can be raised without limit. A bankroll of 2^k-1 survives k consecutive losses, and at k=20 the win rate is 99.9999046% (Section 2). Second, this is the core of the paper. The expectation is nevertheless exactly 0 for every k──1-2^-k-1+2^-k=0 (Section 2). Third, the product of loss and its probability exactly balances the gain.2^-kx(2^k-1)=1-2^-k, which tends to 1 (Section 3). Fourth, what moved is the variance. At k=20 the standard deviation becomes 1024 times larger while the expectation stays 0 (Section 3). Fifth, with a house edge it gets worse. To win the same 1 unit, the expected loss becomes 26.07 times larger (Section 4). Sixth, the separator is capital, not probability. Make the capital unbounded and all three premises of the optional stopping theorem fail (Section 5). A strategy that wins 99.9999% of the time has expectation exactly 0. A bankroll of 2^k-1 survives k consecutive losses, and at k=20 the win rate is 99.9999046%──yet (1-2^-k)-2^-k(2^k-1)=0 holds identically. What balances is the product──lowering the losing probability to 2^-k and raising the loss to 2^k-1 are one and the same operation, and one cannot move only one of them. What moved was the variance alone──doubling multiplied the standard deviation by 1024 and left the expectation at 0. With a house edge it is worse still──chasing the same 1 unit makes the expected loss 26.07 times larger. One thing separates them──not probability, but capital. With unbounded capital all three premises of the optional stopping theorem fail, and a fair game yields a certain profit. The fence stands on the side of capital, not of probability. So the figure “a win rate of 99.9999%” guarantees nothing on its own. 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. ----- 負けたら賭金を倍にする「倍賭け」は、勝率をいくらでも 1 に近づけられる。本稿が問うのは、それで期待値が動くかである──答は、ちょうど 0 のままである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──倍賭け戦略、マルチンゲール、任意停止定理、その三つの十分条件は、いずれも標準的である。確率論を作らない──使うのは一つの等比級数と、一つの期待値の計算だけである。任意停止定理を証明しない──十分条件を引くだけであり、証明には立ち入らない。賭博を勧めない──本稿は期待値がどう振る舞うかだけを数える。第4節が示すとおり、胴元の取り分がある賭けでは期待値は負である。最適戦略を論じない──ケリー基準にも、効用関数にも、破産確率の最小化にも立ち入らない。現実の賭場を論じない──賭金上限も、資金制約の実際も扱わない。資金 2^k-1 は数学的な設定である。分散を悪だと言わない──第3節の 1024 倍は事実の記述であって、分散が大きいことが常に悪いとは主張しない。裾の分布を扱わない──論文190 が重い裾と大偏差を扱った。本稿は分布の形に入らず、期待値と分散だけを数える。既刊との関係:論文143 は最小エントロピー生成が原理ではなく柵つきの定理だと示した──本稿の任意停止定理も柵つきの定理であり、柵が外れると結論が崩れるという同じ形である。論文194 は四つの平均が一つの族であり、等号の柵が一つしかないと示した──本稿も柵が一つだけである。論文220 は「独立」が四つあると数えた──本稿の各回の賭けはそのうち一つの意味で独立である。論文190 は「稀」を対数の目盛りで測った──本稿の 2^-20 も対数で読む。加えたのは期待値が k によらず厳密に 0 になると計算したこと、負ける確率と損失の積が 1-2^-k で利得とちょうど釣り合うと示したこと、標準偏差が 1024 倍になると測ったこと、胴元の取り分があると期待損失が 26.07 倍になると計算したこと、柵を「確率ではなく資金」と名指したことである。 第一に、勝率はいくらでも上げられる。資金 2^k-1 で k 連敗まで耐えられ、k=20 なら勝率は 99.9999046% である(第2節)。 第二に、これが本稿の芯である。それでも期待値は k によらずちょうど 0──1-2^-k-1+2^-k=0 である(第2節)。 第三に、負ける確率と損失の積が、利得とちょうど釣り合う。2^-kx(2^k-1)=1-2^-k であり、k->infinity で 1 に近づく(第3節)。 第四に、動いたのは分散である。 k=20 で標準偏差が 1024 倍になり、期待値は 0 のままである(第3節)。 第五に、胴元の取り分があると悪化する。同じ 1 単位を勝つのに、期待損失が 26.07 倍になる(第4節)。 第六に、分離子は確率ではなく資金である。資金を無限にすると任意停止定理の前提が三つとも破れる(第5節)。 勝率 99.9999% の戦略の期待値は、ちょうど 0 である。資金 2^k-1 で k 連敗まで耐えられ、k=20 なら勝率は 99.9999046%──それでも (1-2^-k)-2^-k(2^k-1)=0 が恒等的に成り立つ。釣り合っているのは積である──負ける確率を 2^-k に下げる操作と、損失を 2^k-1 に上げる操作が、同じ一つの操作であり、片方だけを動かすことはできない。動いたのは分散だけである──倍賭けは標準偏差を 1024 倍にし、期待値は 0 のまま置いた。胴元の取り分があれば、さらに悪い──同じ 1 単位を狙うのに、期待損失が 26.07 倍になる。分けるものは一つ──確率ではなく、資金。資金が無限なら任意停止定理の前提が三つとも破れ、公平な賭けから確実な利益が出てしまう。柵は確率の側ではなく、資金の側に立っている。だから「勝率 99.9999%」という数字は、それだけでは何も保証しない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Between the plates of a charging capacitor, not one charge crosses. And still a magnetic field stands there. This paper asks what, then, a current is──the answer is not the motion of charge. What closes Ampere's law is what has been called a current. 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 Ampere-Maxwell law, the displacement current, and the field of a parallel-plate capacitor are all standard. No electromagnetism is built──what is used is one line integral and the comparison of two expressions. Maxwell's equations are not derived──Paper 93 treats the discovery of the field and Paper 116 the exponent of c. This paper receives the equations as a premise and asks only after the standing of one term. No physical medium is posited for the displacement current──neither an ether nor a polarisation of the vacuum is invoked. Only the behaviour of a term in an equation is treated. The relativistic treatment is not entered──that displacement and conduction currents exchange with the observer is mentioned but not formalised. Edge effects are not treated──the plates are taken as large with no fringing, and the numbers are values inside that idealisation. The standing of epsilon_0 is not discussed──since the SI revision of 2019, epsilon_0 is a measured quantity. This paper uses it as a conversion constant and does not make its standing a subject. The 4pi in mu_0 is not called a discovery──mu_0=4pix10^-7 comes from the choice of units. Paper 116 treated the non-uniqueness of 4pi, and this paper follows it in writing that this one is a choice of units. Relation to earlier papers: Paper 02 showed that a pure solid angle 4pi appears in an inverse-square field──Section 6 here looks at the 4pi in mu_0 and writes that its standing is not the same. Paper 116 treated the non-uniqueness of 4pi──this paper follows that and claims no credit for the 4pi here. Paper 258 wrote the condition for 4pi to appear as three items──this paper stands on the side where the condition is not met. Paper 240 counted “mass” as seven things──this paper writes that “current” does not have one meaning. Paper 201 counted “complete” as four different claims──the same shape of division. What is added is stating explicitly that the crossing charge is 0 A, computing the field between the plates at each distance, confirming that the inside and outside expressions agree at 4.0000 muT on the rim, and treating the 4pi of mu_0 as a choice of units and writing that its standing differs from the 4pi of Paper 02. First, count the charge that crosses. The conduction current in the wire is 1 A, and the charge crossing between the plates is 0 A (Section 2). Second, this is the core of the paper. The charge is zero and a field stands anyway. With plates of radius 5 cm and I=1 A, the field 1 cm from the axis is 0.8000 muT (Section 3). Third, the field grows in proportion to the distance from the axis. At 1,2,3,4,5 cm it is 0.8000,1.6000,2.4000,3.2000,4.0000 muT──the same form as inside a current-carrying wire (Section 3). Fourth, the two meet exactly at the rim. At r=5 cm, the inside expression and the outside expression both give 4.0000 muT──the side where no charge crosses and the side where it does return the same value (Section 4). Fifth, epsilon_0 dPhi_E/dt equals the conduction current exactly. What makes them agree is the conversion constant epsilon_0=8.8541878x10^-12 (Section 5). Sixth, a 4pi sits here too. mu_0=4pix10^-7=1.2566371x10^-6──a solid angle sits inside the constant that fixes the size of the field (Section 6). the displacement current was not a current. The charge crossing between the plates is 0 A, and there is nothing to carry it. Still the field stands, rising in proportion to r and reaching 4.0000 muT at the rim──and computing with the outside expression, where charge does cross, returns the same 4.0000 muT. The epsilon_0 cancels and dQ/dt remains, so the two agree exactly and not approximately. So the word “current” carries two definitions──the motion of charge and what closes Ampere's law. And the 4pi inside mu_0 likewise differs in standing from the 4pi that came out of geometry──this one is embedded in the definition of a unit. One thing separates them──writing down which of the two definitions the word is being used in. Write it down, and the occasions for looking for charge separate from those for counting terms in an equation. Do not write it down, and one goes on searching for something crossing a place where nothing does. 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. ----- 充電中のコンデンサの板のあいだには、電荷が一つも渡っていない。それでも、そこには磁場が立っている。本稿が問うのは、では「電流」とは何なのかである──答は、電荷の移動ではない。アンペール則を閉じるものが電流と呼ばれている。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──アンペール=マクスウェル則、変位電流、平行平板コンデンサの磁場は、いずれも標準的である。電磁気学を作らない──使うのは一つの周回積分と、二つの式の突き合わせだけである。マクスウェル方程式を導かない──論文93 が場という発見を、論文116 が c の冪を扱う。本稿は方程式を前提として受け取り、その一項の身分だけを問う。変位電流に物理的な媒質を仮定しない──エーテルも、真空の分極も持ち出さない。扱うのは式の項としての振る舞いだけである。相対論的な扱いに立ち入らない──変位電流と伝導電流が観測者によって入れ替わることには触れるが、定式化しない。端の効果を扱わない──板は十分大きく、縁の漏れは無視している。数値は理想化の内側の値である。 epsilon_0 の身分を論じない──2019 年のSI改定以降 epsilon_0 は測定量である。本稿は換算係数として使うだけで、その身分を主題にしない。 mu_0 の 4pi を発見だと言わない──mu_0=4pix10^-7 は単位系の取り方から来る。論文116 が 4pi の非一意性を扱っており、本稿もそれを踏まえて「単位の選択である」と書く。既刊との関係:論文02 は逆二乗場に純粋立体角 4pi が現れることを示した──本稿の第6節は mu_0 の中の 4pi を見るが、そちらは単位の選択であって同じ身分ではないと書く。論文116 は 4pi の非一意性を扱った──本稿はその指摘に従い、mu_0 の 4pi を手柄にしない。論文258 は 4pi が出る条件を三つに書き出した──本稿は条件を満たさない例の側に立つ。論文240 は「質量」が七つあることを数えた──本稿は「電流」が一つの意味ではないことを書く。論文201 は「完備」が四つの別の主張であることを数えた──同じ形の分け方である。加えたのは渡る電荷が 0 A であることを明示したこと、板の中の磁場を距離ごとに計算したこと、縁で内外の式が 4.0000 muT で一致することを確かめたこと、mu_0 の 4pi を単位の選択として扱い、論文02 の 4pi と身分が違うと書いたことである。 第一に、渡っている電荷を数える。導線を流れる伝導電流は 1 A、板のあいだを渡る電荷は 0 A である(第2節)。 第二に、これが本稿の芯である。電荷が 0 なのに磁場が立つ。板半径 5 cm、I=1 A で、中心から 1 cm の点の磁場は 0.8000 muT である(第3節)。 第三に、磁場は中心からの距離に比例して増える。1,2,3,4,5 cm で 0.8000,1.6000,2.4000,3.2000,4.0000 muT──導線の中の磁場と同じ形である(第3節)。 第四に、縁でぴたりと繋がる。板の縁 r=5 cm を、中の式で計算しても外の式で計算しても 4.0000 muT になる──電荷が渡っていない側と、渡っている側が、同じ値を返す(第4節)。 第五に、epsilon_0 dPhi_E/dt が伝導電流と厳密に一致する。一致させているのは epsilon_0=8.8541878x10^-12 という換算係数である(第5節)。 第六に、ここにも 4pi が座っている。 mu_0=4pix10^-7=1.2566371x10^-6──磁場の大きさを決めている定数の中に、球の立体角が入っている(第6節)。 変位電流は、電流ではなかった。板のあいだを渡る電荷は 0 A であり、運ぶものが何も無い。それでも磁場は立ち、r に比例して増え、縁で 4.0000 muT になる──そして電荷が渡っている外側の式で計算しても、同じ 4.0000 muT が返る。 epsilon_0 が約分されて dQ/dt が残るので、二つは近似ではなく厳密に一致している。つまり「電流」という語には二つの定義がある──電荷の移動と、アンペール則を閉じるものである。そして mu_0 の中の 4pi もまた、幾何から出た 4pi とは身分が違う──こちらは単位の定義に埋め込まれている。分けるものは一つ──その語をどちらの定義で使っているのかを書き出すこと。書き出せば、電荷を探すべき場面と、式の項を数えるべき場面が分かれる。書き出さなければ、何も渡っていない場所に、渡っているものを探し続けることになる。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The sentence “its fitness is high” points at one of four different quantities. This paper asks whether the four behave alike──the answer is only one depends on the population. 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──absolute and relative fitness, the Malthusian parameter, inclusive fitness, and Hamilton’s rule are all standard. We do not build evolutionary biology──all we use is one division and one logarithm. We do not measure fitness──how W is estimated in real organisms is not treated at all. Only the relations among the definitions are. We do not discuss the theory of selection──we do not enter the Price equation or the dynamics of population genetics. The numbers are invented examples──the W=2.0, 1.0, 3.0 of Section 2 are numbers placed to display the structure, not measurements. We assert nothing about applying Hamilton’s rule──both the definition of relatedness r and the measurement of inclusive fitness are debated. This paper uses only the form of the inequality rB>C. We do not apply it to humans──it is not used to explain behaviour. It is a roll call of definitions. Relation to earlier papers: Paper 292 showed that only the logarithm adds──the Malthusian parameter here is that logarithm, the same structure standing in another field. Paper 240 counted seven things called “mass,” one changing with the direction of the push──“fitness” here is four things, one changing with its neighbours. Paper 112 counted “six distinct roots sharing one rhyme”──this too is several under one word. Paper 194 showed the four means are one family──Section 3 here is a case where which member of that family is used changes the answer. What is added is separating the four by whether they depend on the population, computing that w falls from 1.3333 to 0.8000 and changes sign for one unchanged individual, showing the arithmetic mean 1.25 against the true factor 1.000000, and confirming that two brothers and eight cousins both give 1.0. First, there are four. Absolute fitness W, relative fitness w, the Malthusian parameter m, and inclusive fitness (Section 1). Second, this is the core of the paper. The same individual keeps W=2.0 and m=+0.693147, yet w alone falls from 1.3333 to 0.8000 (Section 2). Third, the sign changes too. Favoured or not is decided at w=1, so the same individual goes from favoured to disfavoured (Section 2). Fourth, across generations only the logarithm adds. The arithmetic mean of W is 1.25, yet the true factor after four generations is 1.000000 (Section 3). Fifth, inclusive fitness counts a different set. Under Hamilton’s rule, two brothers and eight cousins both come to 1.0 (Section 4). Sixth, the separator is what one divided by (Section 5). “Its fitness is high” points at one of four different quantities──absolute fitness W, relative fitness w, the Malthusian parameter m, and inclusive fitness. And only one depends on the population──an individual keeps W=2.0 and m=+0.693147 unchanged, yet swapping its neighbours drops w from 1.3333 to 0.8000. Since w=1 is the boundary, the same individual goes from favoured to disfavoured──having changed in nothing. Across generations there is a second trap──the arithmetic mean of W is 1.25 and looks like growth, while the true factor after four generations is 1.000000. Only the logarithm (the Malthusian parameter) adds, the same structure Paper 292 showed for rates of return. Inclusive fitness counts a different set again──under Hamilton’s rule, two brothers and eight cousins both come to exactly 1.0. One thing separates them──what one divided by, and what one counted. Only the quantity divided by the population mean depends on the population. The dependence enters through the division, not through any property of the organism. 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. ----- 「適応度が高い」という一文は、四つの別の量のどれかを指している。本稿が問うのは、その四つは同じ振舞いをするかである──答は、一つだけが集団に依存するである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──絶対適応度、相対適応度、マルサス係数、包括適応度、ハミルトン則は、いずれも標準的である。進化生物学を作らない──使うのは一つの割り算と、一つの対数だけである。適応度を測らない──実際の生物で W をどう推定するかは一切扱わない。定義の間の関係だけを扱う。自然選択の理論を論じない──プライス方程式にも、集団遺伝学の動態にも立ち入らない。数値は作った例である──第3節の W=2.0、1.0、3.0 は構造を見せるために置いた数であり、実測ではない。ハミルトン則の適用を主張しない──血縁度 r の定義にも、包括適応度の測り方にも議論がある。本稿は rB>C という不等式の形だけを使う。人間に当てはめない──行動の説明としては使わない。定義の点呼である。既刊との関係:論文292 は足せるのは対数だけだと示した──本稿のマルサス係数はまさにその対数であり、別の分野に同じ構造が立っている。論文240 は「質量」が七つあり、一つは押す向きで変わると数えた──本稿の「適応度」は四つあり、一つは周りで変わる。論文112 は「同じ韻を踏む六つの別根」を数えた──本稿も一語の下の複数である。論文194 は四つの平均が一つの族だと示した──本稿の第4節はその族のどれを使うかで答が変わる場合である。加えたのは四つを「集団に依存するか」で分けたこと、同じ個体の w が 1.3333 から 0.8000 へ落ち符号が変わると計算したこと、W の算術平均 1.25 に対し実際が 1.000000 倍だと示したこと、ハミルトン則で兄弟 2 人といとこ 8 人が同じ 1.0 になると確かめたことである。 第一に、四つある。絶対適応度 W、相対適応度 w、マルサス係数 m、包括適応度である(第2節)。 第二に、これが本稿の芯である。同じ個体の W が 2.0、m が +0.693147 のまま変わらないのに、w だけが 1.3333 から 0.8000 へ落ちる(第3節)。 第三に、符号まで変わる。 w=1 を境に有利・不利が決まるので、同じ個体が有利から不利になる(第3節)。 第四に、世代をまたぐと足せるのは対数だけである。 W の算術平均は 1.25 だが、実際の 4 世代後は 1.000000 倍である(第4節)。 第五に、包括適応度は数える対象が違う。ハミルトン則で、兄弟 2 人といとこ 8 人がどちらも 1.0になる(第5節)。 第六に、分離子は「何で割ったか」である(第6節)。 「適応度が高い」という一文は、四つの別の量のどれかを指している──絶対適応度 W、相対適応度 w、マルサス係数 m、包括適応度である。そして一つだけが集団に依存する──ある個体の W が 2.0、m が +0.693147 のまま変わらないのに、周りを入れ替えるだけで w が 1.3333 から 0.8000 へ落ちる。 w=1 が境なので、同じ個体が有利から不利になる──その個体は何一つ変わっていない。世代をまたぐとまた別の落とし穴がある──W の算術平均は 1.25 で増えるように見えるのに、実際の 4 世代後は 1.000000 倍である。足せるのは対数(マルサス係数)だけであり、これは論文292 が収益率について示したのと同じ構造である。包括適応度はさらに数える集合が違う──ハミルトン則で、兄弟 2 人といとこ 8 人がどちらもちょうど 1.0 になる。分けるものは一つ──何で割ったか、そして何を数えたか。集団に依存するのは、集団平均で割ったものだけである。依存は割り算から入っており、生物の性質から入っているのではない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The sentence “its fitness is high” points at one of four different quantities. This paper asks whether the four behave alike──the answer is only one depends on the population. 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──absolute and relative fitness, the Malthusian parameter, inclusive fitness, and Hamilton’s rule are all standard. We do not build evolutionary biology──all we use is one division and one logarithm. We do not measure fitness──how W is estimated in real organisms is not treated at all. Only the relations among the definitions are. We do not discuss the theory of selection──we do not enter the Price equation or the dynamics of population genetics. The numbers are invented examples──the W=2.0, 1.0, 3.0 of Section 2 are numbers placed to display the structure, not measurements. We assert nothing about applying Hamilton’s rule──both the definition of relatedness r and the measurement of inclusive fitness are debated. This paper uses only the form of the inequality rB>C. We do not apply it to humans──it is not used to explain behaviour. It is a roll call of definitions. Relation to earlier papers: Paper 292 showed that only the logarithm adds──the Malthusian parameter here is that logarithm, the same structure standing in another field. Paper 240 counted seven things called “mass,” one changing with the direction of the push──“fitness” here is four things, one changing with its neighbours. Paper 112 counted “six distinct roots sharing one rhyme”──this too is several under one word. Paper 194 showed the four means are one family──Section 3 here is a case where which member of that family is used changes the answer. What is added is separating the four by whether they depend on the population, computing that w falls from 1.3333 to 0.8000 and changes sign for one unchanged individual, showing the arithmetic mean 1.25 against the true factor 1.000000, and confirming that two brothers and eight cousins both give 1.0. First, there are four. Absolute fitness W, relative fitness w, the Malthusian parameter m, and inclusive fitness (Section 1). Second, this is the core of the paper. The same individual keeps W=2.0 and m=+0.693147, yet w alone falls from 1.3333 to 0.8000 (Section 2). Third, the sign changes too. Favoured or not is decided at w=1, so the same individual goes from favoured to disfavoured (Section 2). Fourth, across generations only the logarithm adds. The arithmetic mean of W is 1.25, yet the true factor after four generations is 1.000000 (Section 3). Fifth, inclusive fitness counts a different set. Under Hamilton’s rule, two brothers and eight cousins both come to 1.0 (Section 4). Sixth, the separator is what one divided by (Section 5). “Its fitness is high” points at one of four different quantities──absolute fitness W, relative fitness w, the Malthusian parameter m, and inclusive fitness. And only one depends on the population──an individual keeps W=2.0 and m=+0.693147 unchanged, yet swapping its neighbours drops w from 1.3333 to 0.8000. Since w=1 is the boundary, the same individual goes from favoured to disfavoured──having changed in nothing. Across generations there is a second trap──the arithmetic mean of W is 1.25 and looks like growth, while the true factor after four generations is 1.000000. Only the logarithm (the Malthusian parameter) adds, the same structure Paper 292 showed for rates of return. Inclusive fitness counts a different set again──under Hamilton’s rule, two brothers and eight cousins both come to exactly 1.0. One thing separates them──what one divided by, and what one counted. Only the quantity divided by the population mean depends on the population. The dependence enters through the division, not through any property of the organism. 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. ----- 「適応度が高い」という一文は、四つの別の量のどれかを指している。本稿が問うのは、その四つは同じ振舞いをするかである──答は、一つだけが集団に依存するである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──絶対適応度、相対適応度、マルサス係数、包括適応度、ハミルトン則は、いずれも標準的である。進化生物学を作らない──使うのは一つの割り算と、一つの対数だけである。適応度を測らない──実際の生物で W をどう推定するかは一切扱わない。定義の間の関係だけを扱う。自然選択の理論を論じない──プライス方程式にも、集団遺伝学の動態にも立ち入らない。数値は作った例である──第3節の W=2.0、1.0、3.0 は構造を見せるために置いた数であり、実測ではない。ハミルトン則の適用を主張しない──血縁度 r の定義にも、包括適応度の測り方にも議論がある。本稿は rB>C という不等式の形だけを使う。人間に当てはめない──行動の説明としては使わない。定義の点呼である。既刊との関係:論文292 は足せるのは対数だけだと示した──本稿のマルサス係数はまさにその対数であり、別の分野に同じ構造が立っている。論文240 は「質量」が七つあり、一つは押す向きで変わると数えた──本稿の「適応度」は四つあり、一つは周りで変わる。論文112 は「同じ韻を踏む六つの別根」を数えた──本稿も一語の下の複数である。論文194 は四つの平均が一つの族だと示した──本稿の第4節はその族のどれを使うかで答が変わる場合である。加えたのは四つを「集団に依存するか」で分けたこと、同じ個体の w が 1.3333 から 0.8000 へ落ち符号が変わると計算したこと、W の算術平均 1.25 に対し実際が 1.000000 倍だと示したこと、ハミルトン則で兄弟 2 人といとこ 8 人が同じ 1.0 になると確かめたことである。 第一に、四つある。絶対適応度 W、相対適応度 w、マルサス係数 m、包括適応度である(第2節)。 第二に、これが本稿の芯である。同じ個体の W が 2.0、m が +0.693147 のまま変わらないのに、w だけが 1.3333 から 0.8000 へ落ちる(第3節)。 第三に、符号まで変わる。 w=1 を境に有利・不利が決まるので、同じ個体が有利から不利になる(第3節)。 第四に、世代をまたぐと足せるのは対数だけである。 W の算術平均は 1.25 だが、実際の 4 世代後は 1.000000 倍である(第4節)。 第五に、包括適応度は数える対象が違う。ハミルトン則で、兄弟 2 人といとこ 8 人がどちらも 1.0になる(第5節)。 第六に、分離子は「何で割ったか」である(第6節)。 「適応度が高い」という一文は、四つの別の量のどれかを指している──絶対適応度 W、相対適応度 w、マルサス係数 m、包括適応度である。そして一つだけが集団に依存する──ある個体の W が 2.0、m が +0.693147 のまま変わらないのに、周りを入れ替えるだけで w が 1.3333 から 0.8000 へ落ちる。 w=1 が境なので、同じ個体が有利から不利になる──その個体は何一つ変わっていない。世代をまたぐとまた別の落とし穴がある──W の算術平均は 1.25 で増えるように見えるのに、実際の 4 世代後は 1.000000 倍である。足せるのは対数(マルサス係数)だけであり、これは論文292 が収益率について示したのと同じ構造である。包括適応度はさらに数える集合が違う──ハミルトン則で、兄弟 2 人といとこ 8 人がどちらもちょうど 1.0 になる。分けるものは一つ──何で割ったか、そして何を数えたか。集団に依存するのは、集団平均で割ったものだけである。依存は割り算から入っており、生物の性質から入っているのではない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The sentence “this cipher is secure” rests on one of three different grounds. This paper asks which of them a quantum computer breaks──the answer is one. 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 complexity of the number field sieve, Shor’s algorithm, Grover’s algorithm, and the perfect secrecy of the one-time pad are all standard. We do not build cryptography──all we use is one exponent and one mutual information. We do not explain the algorithms──Shor and Grover are quoted by their cost formulas, and we do not enter their workings. We do not discuss implementation security──key management, randomness quality, side channels, and implementation flaws are not treated at all. Most real breaks live there, but this paper treats only the type of ground. We do not discuss the feasibility of quantum computers──neither when nor whether they can be built is treated. Only what would break if they were. We assert no values for the effort──the sieve’s exponent is asymptotic, and 10^25.3 is an order with constants dropped. Only the direction and the order are claimed. We do not treat lattice cryptography──post-quantum schemes also sit on the computational ground, and which problems stay hard under quantum attack is not adjudicated here. Relation to earlier papers: Paper 281 showed that what cannot be copied can still be corrected, and that eavesdropping becomes the number 25%──the third ground here is the physical security shown there. Paper 252 counted four quantities called “information,” needing different things──the second ground here rests on a mutual information that is exactly 0. Paper 112 counted “six distinct roots sharing one rhyme”──“security” here likewise has three distinct roots under one word. Paper 302 treated how existence does not give quantity──computational security likewise sits where “hard” has no settled quantity. What is added is lining up the three grounds by what they depend on, computing the RSA-2048 acceleration as 10^25.3, showing that an eightfold key length raises the quantum effort only 512-fold, and separating symmetric from public key by square root against cube. First, there are three grounds. Computational, information-theoretic, and physical security, and all three depend on different things (Section 2). Second, this is the core of the paper. A quantum computer breaks only the first, and cannot in principle reach the other two (Section 3). Third, the breaking is dramatic. At RSA 2048 bits the ratio of classical to quantum effort is 10^25.3 (Section 4). Fourth, key length cannot answer it. Multiplying the key length by 8 raises the quantum effort only 512-fold (Section 4). Fifth, symmetric keys need only be doubled. Grover gains only a square root, and AES-256 retains an effective 128 bits (Section 5). Sixth, the separator is resting on difficulty against resting on the absence of information (Section 6). “This cipher is secure” rests on one of three different grounds──computational (it is hard), information-theoretic (there is no information), and physical (measuring destroys). A quantum computer breaks only the first──“quantum computers will break cryptography” is one third right. The breaking is indeed dramatic──at RSA 2048 bits the ratio of classical to quantum effort is 10^25.3, and at 4096 bits 10^36.3. And key length cannot answer it──against the classical attack 2538 bits reaches 2^128, while on the quantum side an eightfold key raises the effort only 512-fold. Symmetric keys are another matter──Grover gains only a square root, so AES-256 retains an effective 128 bits. One thing separates them──whether the security rests on difficulty or on the absence of information. Difficulty moves with machines. I(M;C)=0 does not move. Put exactly──a quantum computer breaks the ciphers that rest on difficulty. 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. ----- 「この暗号は安全である」という一文は、三つの別の根拠のどれかに立っている。本稿が問うのは、量子計算機が壊すのはどれかである──答は、一つだけである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──数体篩の計算量、ショアのアルゴリズム、グローバーのアルゴリズム、ワンタイムパッドの完全秘匿性は、いずれも標準的である。暗号を作らない──使うのは一つの指数と、一つの相互情報量だけである。アルゴリズムを説明しない──ショアもグローバーも手間の式を引くだけであり、中身には立ち入らない。実装の安全を論じない──鍵管理、乱数の質、サイドチャネル、実装の欠陥は一切扱わない。現実の破られ方の大半はここにあるが、本稿は根拠の型だけを扱う。量子計算機の実現可能性を論じない──いつ作れるかも、作れるかも扱わない。作れたとして何が壊れるかだけを数える。手間の値を主張しない──数体篩の指数は漸近形であり、10^25.3 は定数因子を無視した桁である。比較の向きと桁だけが本稿の主張である。格子暗号を扱わない──耐量子暗号も計算量的安全の側にあるが、どの問題が量子で難しいままかは本稿では判定しない。既刊との関係:論文281 は複製できないのに訂正できることを示し、盗聴が 25% という数になると書いた──本稿の三つ目の根拠はそこで示された物理的安全である。論文252 は「情報量」が四つあり要るものが違うと数えた──本稿の二つ目の根拠は相互情報量が厳密に 0であることに立つ。論文112 は「同じ韻を踏む六つの別根」を数えた──本稿の「安全」も一語の下に三つの別根を持つ。論文302 は存在が定量を教えないことを扱った──本稿の計算量的安全も「難しい」の定量が定まらない側にある。加えたのは三つの根拠を依存先で並べたこと、RSA 2048 bit の加速を 10^25.3 と計算したこと、鍵長を 8 倍にしても量子側が 512 倍にしかならないと示したこと、対称鍵と公開鍵で対処法が違う理由を平方根と三乗で分けたことである。 第一に、根拠は三つある。計算量的安全・情報理論的安全・物理的安全であり、依存先が三つとも違う(第2節)。 第二に、これが本稿の芯である。量子計算機が壊すのは一つ目だけであり、残り二つには原理的に届かない(第3節)。 第三に、壊れ方は劇的である。 RSA 2048 bit で古典と量子の手間の比は 10^25.3 である(第4節)。 第四に、鍵長では対抗できない。鍵長を 8 倍にしても、量子側の手間は 512 倍にしかならない(第4節)。 第五に、対称鍵は倍にすれば済む。グローバーは平方根しか稼がず、AES-256 は実効 128 bitで足りる(第5節)。 第六に、分離子は「難しさに立つか、情報の不在に立つか」である(第6節)。 「この暗号は安全である」は、三つの別の根拠のどれかに立っている──計算量的安全(難しい)、情報理論的安全(情報が無い)、物理的安全(測れば壊れる)である。量子計算機が壊すのは一つ目だけである──「量子計算機が暗号を破る」という一文は、三分の一しか当たっていない。壊れ方は確かに劇的である──RSA 2048 bit で古典と量子の手間の比は 10^25.3、4096 bit では 10^36.3 である。そして鍵長では対抗できない──古典に対しては 2538 bit で 2^128 相当まで行けるのに、量子側は鍵長を 8 倍にしても手間が 512 倍にしかならない。対称鍵は事情が違う──グローバーは平方根しか稼がないので、AES-256 にすれば実効 128 bit で足りる。分けるものは一つ──その安全が、難しさに立っているか、情報の不在に立っているか。難しさは計算機で動く。 I(M;C)=0 は動かない。正確に言えばこうである──量子計算機は、難しさに立つ暗号を破る。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
It is said that “the Higgs particle gives things their mass.”This paper asks what fraction of “things”──the answer, for the proton, is 0.96%. 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 PDG quark masses, the proton and neutron masses, mass generation by the Higgs mechanism, and mass generation by confinement are all standard. We do not build quantum chromodynamics──all we use is three additions and four divisions. We do not explain confinement──neither why quarks are confined nor the mass gap is treated at all. We count only the resulting mass. We do not derive the Higgs mechanism──we do not enter spontaneous symmetry breaking, nor the origin of the Yukawa couplings’ values. We perform no lattice calculation──the number 99.04% is the result of a subtraction, not a first-principles computation. The quark masses carry a definitional premise──m_u=2.16 and m_d=4.67 MeV are values in the MS scheme at renormalisation point 2 GeV. Change the scheme or the point and the values change, so the figure 0.9581% depends on this convention. We do not break down the 99%──the mass from confinement divides into quark kinetic energy, gluon field energy, and the chiral condensate, but this paper lumps them together as “non-Higgs”. We do not explain the neutron--proton difference──the 194% of Section 5 only shows that the naive count breaks, and asserts no value for the electromagnetic contribution. Relation to earlier papers: Paper 240 counted seven things called “mass” and in its scope note explicitly stated “we do not discuss the origin of mass──neither the Higgs mechanism nor confinement is treated”──this paper enters that explicitly ceded ground and compares the two origins numerically. Papers 35 and 51 used the proton mass as a number──this paper asks what it is made of. Paper 112 counted “six distinct roots sharing one rhyme”──the “mass” here likewise has two distinct roots under one word. Paper 274 showed that Drude was right through the cancellation of two errors──Section 5 here is likewise a case where two opposite signs cancel. What is added is computing the proton’s non-Higgs share as 99.0419%, writing the contrast with the electron as a factor of 104.37, showing by the thought experiment of setting the vacuum expectation value to 0 that 929.28 MeV remains, and recording, as the limit of the naive count, that the quark mass difference overshoots the neutron--proton difference by 194%. First, we add the rest masses of the quarks. The proton is uud, so 2x2.16+4.67=8.99 MeV (Section 2). Second, this is the core of the paper. The proton’s mass is 938.27209 MeV, so the Higgs share is 0.9581%, that is 99.0419% is not of Higgs origin (Section 2). Third, the electron is 100% of Higgs origin. Within the one word “mass” there is a factor of 104.37 (Section 3). Fourth, setting the vacuum expectation value to 0 leaves the proton nearly untouched.938.27 MeV merely becomes 929.28 MeV──while the electron vanishes entirely (Section 4). Fifth, there is a place where the naive count fails. Against the neutron--proton difference of 1.29333 MeV, the quark mass difference of 2.51 MeV overshoots by 194% (Section 5). Sixth, the separator is where the mass comes from. Yukawa coupling and confinement energy are different categories, differing in amount by 103.37 (Section 6). “The Higgs gives things their mass” is 100% right for the electron and only 0.9581% right for the proton. The proton is uud, and the sum of the quarks’ rest masses is a mere 8.99 MeV──the actual 938.27 MeV is 104.3684 times that, and 99.0419% is not of Higgs origin. The thought experiment of setting the vacuum expectation value to 0 shows it──the proton merely becomes 929.28 MeV; the electron vanishes entirely. Counting for ordinary matter, 98.9879% of a hydrogen atom’s mass is of non-Higgs origin. But this naive count has a limit──applying it to the neutron--proton difference overshoots at 194.07%. One thing separates them──whether the mass comes from a coupling written into the Lagrangian, or from a consequence of dynamics that emerges only upon solving. The former is the Yukawa coupling, the latter confinement, and they differ in amount by 103.37. Both are measured in MeV, but their standing differs. So when one says “the Higgs gives mass,” one must say which particle is meant. 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. ----- 「ヒッグス粒子は物に質量を与える」と言われる。本稿が問うのは、その「物」の何割かである──答は、陽子については 0.96%である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──クォーク質量の PDG 値、陽子・中性子の質量、ヒッグス機構による質量生成、閉じ込めによる質量生成は、いずれも標準的である。量子色力学を作らない──使うのは三つの足し算と、四つの割り算だけである。閉じ込めを説明しない──なぜクォークが閉じ込められるかも、質量ギャップも一切扱わない。結果としての質量だけを数える。ヒッグス機構を導出しない──自発的対称性の破れにも、湯川結合の値の起源にも立ち入らない。格子計算をしない──99.04% という数は引き算の結果であって、第一原理計算ではない。クォーク質量の定義に前提がある──m_u=2.16、m_d=4.67 MeV はMS スキーム・繰り込み点 2 GeVでの値である。スキームと点を変えれば値が変わるので、0.9581% という数字はこの規約に依存する。99% の内訳を分けない──閉じ込めによる質量はクォークの運動エネルギー・グルーオン場のエネルギー・カイラル凝縮などに分かれるが、本稿はそれらを一括して「非ヒッグス」と呼ぶ。中性子・陽子差を説明しない──第5節の 194% は素朴な数え上げが破れることを示すだけであり、電磁的寄与の値を主張しない。既刊との関係:論文240 は「質量」が七つあることを数え、その射程で「質量の起源を論じない──ヒッグス機構も閉じ込めも扱わない」と明記した──本稿はその明示的に譲られた土地に入り、二つの起源の量を数で比べる。論文35・51 は陽子質量を数値として用いた──本稿はその内訳を問う。論文112 は「同じ韻の別根」を数えた──本稿の「質量」も一語の下に二つの別根を持つ。論文274 はドルーデが二つの誤差の打ち消しで当たったと示した──本稿の第5節も符号の逆な二つが打ち消す場合である。加えたのは陽子の非ヒッグス割合を 99.0419% と計算したこと、電子との対照を 104.37 倍と書いたこと、真空期待値を 0 にする思考実験で 929.28 MeV が残ると示したこと、中性子・陽子差でクォーク質量差が 194% 行き過ぎることを、素朴な数え上げの限界として記録したことである。 第一に、クォークの静止質量を足す。陽子は uud なので 2x2.16+4.67=8.99 MeV である(第2節)。 第二に、これが本稿の芯である。陽子の質量は 938.27209 MeV なので、ヒッグス由来は 0.9581%、すなわち99.0419% はヒッグス由来ではない(第2節)。 第三に、電子は 100% ヒッグス由来である。同じ「質量」という一語の中で、104.37 倍の違いがある(第3節)。 第四に、真空期待値を 0 にしても陽子はほぼそのままである。938.27 MeV が 929.28 MeV になるだけ──一方で電子は完全に消える(第4節)。 第五に、素朴な数え上げが失敗する場所がある。中性子と陽子の差 1.29333 MeV に対し、クォーク質量差は 2.51 MeV で194% 行き過ぎる(第5節)。 第六に、分離子は「質量が何から来るか」である。湯川結合と閉じ込めのエネルギーは別の圏であり、量が 103.37 倍違う(第6節)。 「ヒッグスが物に質量を与える」は、電子については 100% 正しく、陽子については 0.9581% しか正しくない。陽子は uud で、クォークの静止質量の和は 8.99 MeV にすぎない──実際の 938.27 MeV はその 104.3684 倍であり、99.0419% はヒッグス由来ではない。真空期待値を 0 にする思考実験がそれを見せる──陽子は 929.28 MeV になるだけ、電子は完全に消える。身の回りの物質で数えれば、水素原子の質量の 98.9879% が非ヒッグス起源である。ただしこの素朴な数え上げには限界がある──中性子と陽子の差を同じやり方で説明しようとすると、194.07% と行き過ぎる。分けるものは一つ──その質量が、ラグランジアンに書き込まれた結合から来るのか、解いてはじめて出る力学の帰結なのか。前者は湯川結合、後者は閉じ込めであり、量は 103.37 倍違う。どちらも MeV で測れるが、身分は違う。だから「ヒッグスが質量を与える」と言うときは、どちらの粒子の話かを言わねばならない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
It is said that “the Higgs particle gives things their mass.”This paper asks what fraction of “things”──the answer, for the proton, is 0.96%. 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 PDG quark masses, the proton and neutron masses, mass generation by the Higgs mechanism, and mass generation by confinement are all standard. We do not build quantum chromodynamics──all we use is three additions and four divisions. We do not explain confinement──neither why quarks are confined nor the mass gap is treated at all. We count only the resulting mass. We do not derive the Higgs mechanism──we do not enter spontaneous symmetry breaking, nor the origin of the Yukawa couplings’ values. We perform no lattice calculation──the number 99.04% is the result of a subtraction, not a first-principles computation. The quark masses carry a definitional premise──m_u=2.16 and m_d=4.67 MeV are values in the MS scheme at renormalisation point 2 GeV. Change the scheme or the point and the values change, so the figure 0.9581% depends on this convention. We do not break down the 99%──the mass from confinement divides into quark kinetic energy, gluon field energy, and the chiral condensate, but this paper lumps them together as “non-Higgs”. We do not explain the neutron--proton difference──the 194% of Section 5 only shows that the naive count breaks, and asserts no value for the electromagnetic contribution. Relation to earlier papers: Paper 240 counted seven things called “mass” and in its scope note explicitly stated “we do not discuss the origin of mass──neither the Higgs mechanism nor confinement is treated”──this paper enters that explicitly ceded ground and compares the two origins numerically. Papers 35 and 51 used the proton mass as a number──this paper asks what it is made of. Paper 112 counted “six distinct roots sharing one rhyme”──the “mass” here likewise has two distinct roots under one word. Paper 274 showed that Drude was right through the cancellation of two errors──Section 5 here is likewise a case where two opposite signs cancel. What is added is computing the proton’s non-Higgs share as 99.0419%, writing the contrast with the electron as a factor of 104.37, showing by the thought experiment of setting the vacuum expectation value to 0 that 929.28 MeV remains, and recording, as the limit of the naive count, that the quark mass difference overshoots the neutron--proton difference by 194%. First, we add the rest masses of the quarks. The proton is uud, so 2x2.16+4.67=8.99 MeV (Section 2). Second, this is the core of the paper. The proton’s mass is 938.27209 MeV, so the Higgs share is 0.9581%, that is 99.0419% is not of Higgs origin (Section 2). Third, the electron is 100% of Higgs origin. Within the one word “mass” there is a factor of 104.37 (Section 3). Fourth, setting the vacuum expectation value to 0 leaves the proton nearly untouched.938.27 MeV merely becomes 929.28 MeV──while the electron vanishes entirely (Section 4). Fifth, there is a place where the naive count fails. Against the neutron--proton difference of 1.29333 MeV, the quark mass difference of 2.51 MeV overshoots by 194% (Section 5). Sixth, the separator is where the mass comes from. Yukawa coupling and confinement energy are different categories, differing in amount by 103.37 (Section 6). “The Higgs gives things their mass” is 100% right for the electron and only 0.9581% right for the proton. The proton is uud, and the sum of the quarks’ rest masses is a mere 8.99 MeV──the actual 938.27 MeV is 104.3684 times that, and 99.0419% is not of Higgs origin. The thought experiment of setting the vacuum expectation value to 0 shows it──the proton merely becomes 929.28 MeV; the electron vanishes entirely. Counting for ordinary matter, 98.9879% of a hydrogen atom’s mass is of non-Higgs origin. But this naive count has a limit──applying it to the neutron--proton difference overshoots at 194.07%. One thing separates them──whether the mass comes from a coupling written into the Lagrangian, or from a consequence of dynamics that emerges only upon solving. The former is the Yukawa coupling, the latter confinement, and they differ in amount by 103.37. Both are measured in MeV, but their standing differs. So when one says “the Higgs gives mass,” one must say which particle is meant. 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. ----- 「ヒッグス粒子は物に質量を与える」と言われる。本稿が問うのは、その「物」の何割かである──答は、陽子については 0.96%である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──クォーク質量の PDG 値、陽子・中性子の質量、ヒッグス機構による質量生成、閉じ込めによる質量生成は、いずれも標準的である。量子色力学を作らない──使うのは三つの足し算と、四つの割り算だけである。閉じ込めを説明しない──なぜクォークが閉じ込められるかも、質量ギャップも一切扱わない。結果としての質量だけを数える。ヒッグス機構を導出しない──自発的対称性の破れにも、湯川結合の値の起源にも立ち入らない。格子計算をしない──99.04% という数は引き算の結果であって、第一原理計算ではない。クォーク質量の定義に前提がある──m_u=2.16、m_d=4.67 MeV はMS スキーム・繰り込み点 2 GeVでの値である。スキームと点を変えれば値が変わるので、0.9581% という数字はこの規約に依存する。99% の内訳を分けない──閉じ込めによる質量はクォークの運動エネルギー・グルーオン場のエネルギー・カイラル凝縮などに分かれるが、本稿はそれらを一括して「非ヒッグス」と呼ぶ。中性子・陽子差を説明しない──第5節の 194% は素朴な数え上げが破れることを示すだけであり、電磁的寄与の値を主張しない。既刊との関係:論文240 は「質量」が七つあることを数え、その射程で「質量の起源を論じない──ヒッグス機構も閉じ込めも扱わない」と明記した──本稿はその明示的に譲られた土地に入り、二つの起源の量を数で比べる。論文35・51 は陽子質量を数値として用いた──本稿はその内訳を問う。論文112 は「同じ韻の別根」を数えた──本稿の「質量」も一語の下に二つの別根を持つ。論文274 はドルーデが二つの誤差の打ち消しで当たったと示した──本稿の第5節も符号の逆な二つが打ち消す場合である。加えたのは陽子の非ヒッグス割合を 99.0419% と計算したこと、電子との対照を 104.37 倍と書いたこと、真空期待値を 0 にする思考実験で 929.28 MeV が残ると示したこと、中性子・陽子差でクォーク質量差が 194% 行き過ぎることを、素朴な数え上げの限界として記録したことである。 第一に、クォークの静止質量を足す。陽子は uud なので 2x2.16+4.67=8.99 MeV である(第2節)。 第二に、これが本稿の芯である。陽子の質量は 938.27209 MeV なので、ヒッグス由来は 0.9581%、すなわち99.0419% はヒッグス由来ではない(第2節)。 第三に、電子は 100% ヒッグス由来である。同じ「質量」という一語の中で、104.37 倍の違いがある(第3節)。 第四に、真空期待値を 0 にしても陽子はほぼそのままである。938.27 MeV が 929.28 MeV になるだけ──一方で電子は完全に消える(第4節)。 第五に、素朴な数え上げが失敗する場所がある。中性子と陽子の差 1.29333 MeV に対し、クォーク質量差は 2.51 MeV で194% 行き過ぎる(第5節)。 第六に、分離子は「質量が何から来るか」である。湯川結合と閉じ込めのエネルギーは別の圏であり、量が 103.37 倍違う(第6節)。 「ヒッグスが物に質量を与える」は、電子については 100% 正しく、陽子については 0.9581% しか正しくない。陽子は uud で、クォークの静止質量の和は 8.99 MeV にすぎない──実際の 938.27 MeV はその 104.3684 倍であり、99.0419% はヒッグス由来ではない。真空期待値を 0 にする思考実験がそれを見せる──陽子は 929.28 MeV になるだけ、電子は完全に消える。身の回りの物質で数えれば、水素原子の質量の 98.9879% が非ヒッグス起源である。ただしこの素朴な数え上げには限界がある──中性子と陽子の差を同じやり方で説明しようとすると、194.07% と行き過ぎる。分けるものは一つ──その質量が、ラグランジアンに書き込まれた結合から来るのか、解いてはじめて出る力学の帰結なのか。前者は湯川結合、後者は閉じ込めであり、量は 103.37 倍違う。どちらも MeV で測れるが、身分は違う。だから「ヒッグスが質量を与える」と言うときは、どちらの粒子の話かを言わねばならない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
The Langmuir adsorption isotherm of surface chemistry theta=Kp/(1+Kp), the Fermi distribution of solid-state physics f=1/1+e^(E-mu)/kT, and the Michaelis--Menten expression of enzyme kinetics v/V_max=[S]/(K_m+[S])──these three share a form. This paper asks whether that is an accidental likeness (a rhyme) or the same root──the answer is the same root. 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 Langmuir, Fermi--Dirac, Michaelis--Menten, Freundlich and BET expressions are all standard. We do not build statistical mechanics──all we use is one change of variable and one division. We do not derive the Fermi distribution──we do not enter the derivation from the grand canonical ensemble. We do not discuss the mechanism of adsorption──heat of adsorption, surface diffusion, and the distinction between chemisorption and physisorption are not treated at all. We do not discuss enzyme mechanism──the Michaelis--Menten expression follows from a steady-state approximation, and the validity of that approximation is not treated. Only the agreement of form is treated. We do not say the three are “the same phenomenon”──what agrees is the form of the distribution function, not the phenomena. The Fermi distribution comes from quantum statistics, Langmuir from an equilibrium constant, Michaelis from reaction rates: the routes of derivation differ. The Michaelis root is weaker──the agreement of Langmuir and Fermi rests on the same root, exclusion, whereas the Michaelis “site” is the separate circumstance that one enzyme molecule binds one substrate. This paper does not claim it as a third case of the same root, and keeps it to the agreement of form. Relation to earlier papers: Paper 112 counted “six distinct roots sharing one rhyme”──this paper is the converse case, an example where not only the rhyme but the root is the same. It is set as the counterpart to 112. Paper 265 showed that what separated the low-temperature models is the density of states──this paper is on the distribution-function side and does not treat the density of states. Paper 274 showed that Drude was right through the cancellation of two errors──the agreement here is not a cancellation but an identity. Paper 220 counted four things called “independence”──the “exclusion” there is the mutual exclusivity of probabilistic events, a different thing from the exclusion of sites here. What is added is confirming at five points that a change of variable makes the difference between the two expressions 0, naming the root as exclusion, confirming that 0.1->0.5 and 0.5->0.9 both take 9 times, and separating the three expressions by the presence or absence of saturation. First, changing the variable makes the difference 0. Setting Kp=e^(mu-E)/kT, the difference at five points is 0 or below 10^-16 (Section 2). Second, this is the core of the paper. The root is that one site takes only 0 or 1, and if the exclusion is the same, the distribution is the same (Section 3). Third, the fuller the sites, the less it acts. Raising theta from 0.9 to 0.99 takes 11 times the pressure; from 0.5 to 0.999 it takes 999 times (Section 4). Fourth, the first half is symmetric. Both 0.1->0.5 and 0.5->0.9 take exactly 9 times (Section 4). Fifth, the same 11 appears on the Michaelis side. Raising v/V_max from 0.9 to 0.99 takes 11 times the substrate concentration (Section 5). Sixth, the separator is whether the number of sites is finite. The Freundlich expression does not saturate, and the BET expression diverges as theta->infinity (Section 6). The Langmuir isotherm and the Fermi distribution are not alike; they are one and the same expression. Merely setting Kp=e^(mu-E)/kT makes the difference at all five points 0 or the size of rounding. The root is one line──a single site takes only 0 or 1. So the grand partition function stops at two terms, and if the exclusion is the same the distribution is the same. Numerical intuition transfers unchanged──the 11 times the pressure needed to raise theta from 0.9 to 0.99 is the same number as the 11 times the substrate needed to raise v/V_max from 0.9 to 0.99. And 0.1->0.5 and 0.5->0.9 both take exactly 9──symmetric about a half. One thing separates them──whether the number of sites is finite. If it is, this form follows; if not, it diverges as Freundlich and BET do. Not the field. Where Paper 112 counted six distinct roots under one rhyme, here the root is the same as well, and that is why the difference is 0. 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. ----- 表面化学のラングミュア吸着等温式 theta=Kp/(1+Kp)、固体物理のフェルミ分布 f=1/1+e^(E-mu)/kT、酵素反応のミカエリス=メンテン式 v/V_max=[S]/(K_m+[S])──この三つは同じ形をしている。本稿が問うのは、これが偶然の似姿(韻)か、同じ根かである──答は、同じ根である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ラングミュア式、フェルミ=ディラック分布、ミカエリス=メンテン式、フロインドリヒ式、BET 式は、いずれも標準的である。統計力学を作らない──使うのは一つの変数変換と、一つの割り算だけである。フェルミ分布を導出しない──大正準集団からの導出には立ち入らない。吸着の機構を論じない──吸着熱も、表面拡散も、化学吸着と物理吸着の区別も一切扱わない。酵素反応機構を論じない──ミカエリス=メンテン式は定常状態近似の帰結であり、その近似の妥当性は扱わない。形の一致だけを扱う。三つが「同じ現象」だと言わない──一致するのは分布関数の形であって、現象そのものではない。フェルミ分布は量子統計から、ラングミュアは平衡定数から、ミカエリスは反応速度から出ており、導出の道筋は違う。ミカエリスの根は弱い──ラングミュアとフェルミの一致は排他という同じ根を持つが、ミカエリスの「席」は酵素分子一つが基質一つを結合するという別の事情である。本稿はこれを「同じ根の第三例」とは主張せず、形の一致にとどめる。既刊との関係:論文112 は「同じ韻を踏む六つの別根」を数えた──本稿は逆の場合であり、韻だけでなく根まで同じ例である。112 の対照として置く。論文265 は低温比熱を分けたのが状態密度だと示した──本稿は分布関数の側であり、状態密度は扱わない。論文274 はドルーデが二つの間違いの打ち消しで当たったと示した──本稿の一致は打ち消しではなく、同一性である。論文220 は「独立」が四つあると数えた──そこでの「排他」は確率事象の排反であり、本稿の「席の排他」とは別物である。加えたのは変数変換によって二式の差が 0 になることを五点で確かめたこと、根が排他であると名指したこと、0.1->0.5 と 0.5->0.9 がどちらも 9 倍だと確かめたこと、飽和の有無を分離子として三式を分けたことである。 第一に、変数を置き換えると差が 0 になる。 Kp=e^(mu-E)/kT と置くと、五点で差が 0 または 10^-16 以下である(第2節)。 第二に、これが本稿の芯である。根は「一つの席は 0 か 1 しか取れない」ことであり、排他が同じなら分布も同じである(第3節)。 第三に、席が埋まるほど効かなくなる。 theta を 0.9->0.99 にするのに圧力は 11 倍、0.5->0.999 には 999 倍要る(第4節)。 第四に、前半は対称である。0.1->0.5 も 0.5->0.9 もどちらもちょうど 9 倍である(第4節)。 第五に、ミカエリス側で同じ 11 倍が出る。 v/V_max を 0.9->0.99 にするのに基質濃度は 11 倍(第5節)。 第六に、分離子は「席の数が有限か」である。フロインドリヒ式は飽和せず、BET 式は theta->infinity に発散する(第6節)。 ラングミュア吸着等温式とフェルミ分布は、似ているのではなく同じ一つの式である。 Kp=e^(mu-E)/kT と置くだけで、五点すべてで差が 0 または丸め誤差の大きさになる。根は一行しかない──一つの席が 0 か 1 しか取れないこと。だから大分配関数が二項で止まり、排他が同じなら分布も同じになる。数値の直観もそのまま移る──theta を 0.9->0.99 にするのに要る圧力 11 倍は、酵素で v/V_max を 0.9->0.99 にするのに要る基質濃度 11 倍と同じ数である。そして 0.1->0.5 と 0.5->0.9 がどちらもちょうど 9 倍──半分のまわりで対称である。分けるものは一つ──席の数が有限かどうか。有限ならこの形になり、有限でなければフロインドリヒや BET のように発散する。分野ではない。論文112 が「同じ韻の別根」を六つ数えたのに対し、ここでは根まで同じであり、だから差が 0 になる。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations