An atmosphere has one length in it, H=kT/(mg). This paper asks what that length decides──the answer is both the thickness and whether the atmosphere stays. 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──scale height, the isothermal barometric law, and the Jeans parameter as an escape criterion are all standard. We do not build atmospheric science──all we use is one length and one ratio. We assume isothermality──a real atmosphere changes temperature with height, and H with it. We compute at one representative temperature. We do not treat escape mechanisms──hydrodynamic escape, non-thermal escape and solar-wind stripping are not entered. lambda is a guide, not a verdict. We do not follow compositional evolution──which gas leaves first, and when, is not treated. We claim no accuracy for the representative values──T and mean molecular weight are numbers for seeing orders of magnitude. Relation to earlier papers: Paper 309 showed that l_c=sqrt(gamma/rho g) is the length dividing gravity from surface tension──this is a third of the same kind, dividing gravity from heat this time. Paper 291 showed three lengths inside one ocean──this paper is the reverse: one length answering two questions. Paper 268 showed that the triple point’s being a “point” is settled by the phase rule before measurement──the same territory, pressure, and this paper looks at the distribution inside a single phase. Paper 276 showed the decibel is a ratio and not a quantity──R/H is a ratio too, and carries no dimension. Paper 316 showed the same integer returning from three counts──this paper is its mirror: one ratio answering two questions. What is added is computing the scale height for five bodies, tabulating H/R as a percentage, giving the pressure profile and the cumulative mass in numbers, and showing that the Jeans parameter equals R/H. First, on Earth it is 7.319 km.0.1149% of the 6371 km radius (Section 2). Second, pressure falls by 1/e every H. At Everest’s height, 0.2985 (Section 3). Third, 63.2121% of the mass sits below one H (Section 3). Fourth, this is the core of the paper. The number deciding escape is R/H itself (Section 4). Fifth, the Moon is at 25.20 and leaks. Earth 871.65, Titan 124.90 (Section 4). Sixth, the separator is which of gravity and heat wins, and it can only be written as a ratio (Section 5). An isothermal atmosphere has one length in it, H=kT/(mg), a ratio of heat to gravity that has come out as a length. On Earth it is 7.319 km──only 0.1149% of the 6371 km radius, 0.17 mm on a 30 cm globe, thinner than a sheet of paper. Pressure falls by 1/e every H, reaching 0.2985 at the summit of Everest──and 63.2121% of the mass sits below a single H. That 1-1/e depends on neither T nor g nor mu, and is the same on Venus, Jupiter and Titan. And the number deciding whether the atmosphere escapes comes out of that same H──putting g=GM/R^2 into the Jeans parameter lambda=GMm/(kTR) makes it exactly lambda=R/H. Earth stays at 871.65, Mars at 313.60, Titan at 124.90, and the Moon leaks at 25.20──Titan is smaller than the Moon and keeps its atmosphere because 94 K of cold compensates for the smallness. One thing separates them──which is larger, kT or mgR. And that can only be written as a ratio. H alone settles nothing──Jupiter’s H exceeds Earth’s, and at R/H=2804.51 it is far safer, so the ordering by length runs opposite to the ordering by safety. This is a third of the kind Paper 309 began with “the length dividing gravity from surface tension is not the size of the material”──H is not the size of the body but what the body is compared with. One last thing──one ratio is answering two questions. “How thin is it” and “does it stay” look different, and the answers are the two faces of one number. A thin atmosphere is an atmosphere in the act of leaving. 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. ----- 大気には H=kT/(mg) という長さが一つある。本稿が問うのは、この長さは何を決めているのかである──答は、厚さと、残るかどうかの両方である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──スケールハイト、等温大気の気圧分布、ジーンズ係数による散逸の目安は、いずれも標準的である。大気科学を作らない──使うのは一つの長さと、一つの比だけである。等温を仮定する──実際の大気は高さで温度が変わり、H も高さで変わる。本稿は一つの代表温度で計算する。散逸の機構を扱わない──ジーンズ散逸以外(流体力学的散逸・非熱的散逸・太陽風の剥ぎ取り)には立ち入らない。 lambda は目安であって判定ではない。組成の進化を追わない──どの気体が先に逃げるかの時間発展は扱わない。代表値に精度を主張しない──T と平均分子量は桁を見るための値である。既刊との関係:論文309 は l_c=sqrt(gamma/rho g) が重力と表面張力を分ける長さだと示した──本稿は同じ型の三本目であり、今度は重力と熱を分ける。論文291 は同じ海に三つの長さがあると示した──本稿は一つの長さが二つの問いに答えるという、逆向きの話である。論文268 は三重点が「点」であるのは相律が測る前に決めていると示した──気圧の話をする場所が同じであり、本稿は一相の中の分布を見る。論文276 はデシベルが比であって量ではないと示した──R/H も比であり、次元を持たない。論文316 は同じ整数を三つの数え方が返すと示した──本稿は一つの比が二つの問いに答えるという、鏡像である。加えたのは五つの天体でスケールハイトを計算したこと、H/R を百分率で並べたこと、気圧の高度依存と質量の累積を数で出したこと、ジーンズ係数が R/H に一致することを示したことである。 第一に、地球では 7.319 km である。半径 6371 km の0.1149%(第2節)。 第二に、高度 H ごとに 1/e になる。エベレストの高さで 0.2985 倍(第3節)。 第三に、H 一つぶんの下に 63.2121% が入っている(第3節)。 第四に、これが本稿の芯である。逃げるか残るかを決める数は R/H そのものである(第4節)。 第五に、月は 25.20 で漏れる。地球は 871.65、タイタンは 124.90(第4節)。 第六に、分離子は「重力と熱のどちらが勝つか」であり、それは比でしか書けない(第5節)。 等温の大気には H=kT/(mg) という長さが一つあり、熱と重力の比が長さになったものである。地球では 7.319 km──半径 6371 km の0.1149%にすぎず、直径 30 cm の地球儀なら 0.17 mm、紙一枚より薄い。高度 H ごとに気圧は 1/e になり、エベレストの頂上で 0.2985 倍──そしてH 一つぶんの下に 63.2121% の質量が入っている。この 1-1/e は T にも g にも mu にも依らず、金星でも木星でもタイタンでも同じである。そして大気が逃げるか残るかを決める数は、この H そのものから出る──ジーンズ係数 lambda=GMm/(kTR) に g=GM/R^2 を入れるとlambda=R/H に厳密になる。地球は 871.65、火星は 313.60、タイタンは 124.90 で残り、月は 25.20 で漏れる──タイタンが月より小さいのに大気を持つのは、94 K という冷たさが小ささを補っているからである。分けるものは一つ──kT と mgR のどちらが大きいか。そしてそれは比でしか書けない。 H 単独では何も決まらない──木星の H は地球より大きいのに R/H=2804.51 で地球よりずっと安泰であり、長さの大小と安泰さの大小が逆を向いている。論文309 が「重力と表面張力を分ける長さは材料の寸法ではない」と書いたのと同じ型の三本目である──H は天体の寸法ではなく、比べる相手である。最後に一つ──同じ一つの比が、二つの問いに答えている。「どれだけ薄いか」と「残るか」は別の問いに見えて、答は同じ数の表と裏であった。薄い大気とは、逃げかけている大気のことである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Over a year a star traces a small ellipse on the sky. This paper asks whether that ellipse is one thing──the answer is that there are two, and they are told apart by phase. 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──aberration, annual parallax, Bradley’s observation of 1728, and the definition of the constant of aberration are all standard. We do not build celestial mechanics──all we use is two angles and the phase between them. We do not treat this relativistically──the relativistic formula for aberration is not entered. We look only where first order in v/c suffices. We do not treat proper motion──a star’s own motion is not periodic and so separates from both of these. It is mentioned and no more. We do not adjudicate the history──who first saw what is not entered. We do not treat the distance ladder──the rungs beyond parallax belong to Paper 297. Relation to earlier papers: Paper 297 showed the cosmic distance scale to be a ladder of seven rungs with only the first measured directly──that first rung is parallax, and this paper looks at the other ellipse standing beside it. Paper 325 showed the radius not entering the angle of a rainbow──the same form, with distance not entering aberration here. Paper 300 showed whether two things share a root is decidable──this is an instance of “same shape, different root”, and what decided it was not a value but a phase. Paper 327 showed two curves agreeing to within 0.083 per cent──there the appearance is the same and the things differ; here the size can be the same and the things differ. Paper 313 showed the corpus using “synchrony” in several senses──phase is again the tool that decides. What is added is giving the constant of aberration from both a simple calculation and the literature and stating the difference, tabulating the ratio across three decades of distance, solving for the distance at which the two would be equal, and putting the separator on position against velocity. First, aberration is 20.49552 arcseconds (Section 2). Second, this is the core of the paper. Aberration does not depend on distance; parallax goes as its reciprocal (Section 3). Third, even the nearest star opens by 26.6442. At a kiloparsec, 20495 (Section 3). Fourth, amplitude cannot always separate them. At some distance the two would be equal (Section 3). Fifth, their phases differ by a quarter. That is how Bradley told them apart (Section 4). Sixth, the separator is whether the effect is set by position or by velocity (Section 5). Over a year a star traces a small ellipse on the sky, and two causes are possible──annual parallax, because the Earth’s position changes, and aberration, because its velocity does. Both have a period of one year, both are ellipses, and the shape does not distinguish them. Aberration follows from tanalpha=v/c and is 20.49552 arcseconds, about 1/88 of the apparent diameter of the full moon──(the simple calculation here, 20.492697, differs by 0.0138 per cent, because kappa is defined to include the eccentricity, so this paper uses the literature value). And the distance to the star is nowhere in that formula──it contains only the observer’s speed and the speed of light, not one piece of information about the thing being looked at. Even Proxima is out by 26.6442, and at a kiloparsec by 20495.5200. The distance at which the two would be equal is 0.159135 light years, and no such star exists──so on amplitude alone, aberration always wins. What separated them was not amplitude but phase──in circular motion the velocity points a quarter period ahead of the position, so the two ellipses are exactly three months apart. In 1728 Bradley, hunting for parallax, found an ellipse in the wrong season and knew it was not his quarry. A mismatch in amplitude would have been weak evidence──without the distance there is no predicted parallax to compare against, whereas the phase can be predicted without knowing the distance at all. One thing separates them──whether the effect is set by the observer’s position or by the observer’s velocity. Settle that and the distance dependence and the phase follow automatically, so three apparently independent differences are one. Paper 297 wrote that the first rung of the distance ladder is parallax──this paper says that immediately beside it sits an ellipse of the same shape containing no distance at all. The first rung does not stand by itself. One last thing──Bradley failed to find what he was looking for and found what he was not. And it became a measurement of the speed of light, because v/c can be read off from an angle of 20 arcseconds. A failure to find became the ruler for something else. 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. ----- 恒星は一年かけて空に小さな楕円を描く。本稿が問うのは、その楕円は一種類かである──答は、二種類あり、位相で見分けられるである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──光行差、年周視差、ブラッドリーの 1728 年の観測、光行差定数の定義はいずれも標準的である。天体力学を作らない──使うのは二つの角度と、その位相差だけである。相対論的な扱いをしない──光行差の相対論的公式には立ち入らない。 v/c の一次までで足りる場面だけを見る。固有運動を扱わない──恒星自身の運動は周期的でないので、本稿の二つとは分けられる。触れるにとどめる。測定の歴史を裁定しない──誰が最初に何を見たかの帰属には立ち入らない。距離はしごを扱わない──視差より遠い段は論文297 の射程である。既刊との関係:論文297 は宇宙の距離が七段のはしごで、直接測られているのは一段目だけだと示した──その一段目が視差であり、本稿はその隣に立つもう一つの楕円を見る。論文325 は虹の角度に半径が入らないと示した──同じ型であり、ここでは光行差に距離が入らない。論文300 は同根か別根かは判定できると示した──本稿は「同じ形をしていても別根」の実例であり、判定に使ったのは値ではなく位相である。論文327 は二つの曲線が 0.083 パーセントしか違わないと示した──そこでは見た目が同じで別物、ここでは大きさが同じでも別物である。論文313 は体系が「同期」を複数の意味で使ってきたと示した──位相という語がここでも判定の道具になっている。加えたのは光行差定数を単純計算と文献値の両方で示し、その差を明示したこと、距離ごとの比を三桁にわたって出したこと、二つが同じ振幅になる距離を求めたこと、分離子を位置と速度の別に置いたことである。 第一に、光行差は 20.49552 秒角である(第2節)。 第二に、これが本稿の芯である。光行差は距離に依らず、視差は距離に反比例する(第3節)。 第三に、最も近い恒星でも 26.6442 倍ひらく。1 キロパーセクなら 20495 倍(第3節)。 第四に、振幅では分けられない場合がある。ある距離では二つが同じ大きさになる(第3節)。 第五に、位相が四分の一ずれている。ブラッドリーはそれで見分けた(第4節)。 第六に、分離子は「位置で決まるか、速度で決まるか」である(第5節)。 恒星は一年かけて空に小さな楕円を描き、その原因は二つありうる──地球の位置が変わるからの年周視差と、地球の速度が変わるからの光行差である。どちらも一年周期の楕円で、形では区別がつかない。光行差は tanalpha=v/c から出て 20.49552 秒角、満月の見かけの直径の約 1/88 である──(本稿の単純計算 20.492697 は文献値と 0.0138 パーセント違い、kappa は離心率を含む定義なので、本稿が使うのは文献値である)。そしてこの式には、恒星までの距離が入っていない──現れるのは観測者の速度と光速だけで、見ている相手の情報が一つも入らない。最も近いプロキシマですら視差の 26.6442 倍、1 キロパーセクでは 20495.5200 倍ひらく。二つが同じ大きさになる距離は 0.159135 光年で、そんな恒星は存在しない──振幅の大小では、常に光行差が勝つ。分けたのは振幅ではなく、位相である──円運動では速度は位置の四分の一周期先を向くので、二つの楕円はちょうど三ヶ月ずれる。ブラッドリーは 1728 年、視差を探していて楕円を見つけ、季節がずれていることで探し物ではないと知った。振幅が合わないことは証拠として弱い──距離を知らなければ視差の予想値が立たないからで、位相は距離を知らなくても予想できる。分けるものは一つ──その効果が観測者の位置で決まるか、速度で決まるか。それが決まれば距離依存も位相も自動的に決まり、独立に見えた三つの違いが一つの違いになる。論文297 は距離のはしごの一段目が視差だと書いた──本稿はその一段目のすぐ隣に、距離を一切含まない同じ形の楕円が乗っていることを言う。はしごの一段目は、単独では立っていない。最後に一つ──ブラッドリーは探していたものを見つけられず、探していなかったものを見つけた。そしてそれは光速の測定になった。20 秒角という角度から v/c が読めるからである。見つからなかったことが、別のものの物差しになった。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
A hanging chain and a suspension-bridge cable cannot be told apart by eye. This paper asks what divides them──the answer is not the shape, but which length the load is counted along. 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 catenary equation, the parabolic-cable theory of suspension bridges, and the Taylor expansions of both are all standard. We do not do structural design──all we use is two curves and one difference of measure. We do not treat deflection──cable stretch, thermal movement and live-load deflection are not entered. This paper looks only at the idealised static shape. We do not adjudicate which is correct──a real bridge lies between the two, and this paper does not locate it. We claim no engineering accuracy──the sag ratios are values for comparing shapes, not those of any particular bridge. We do not discuss optimal shape──which is structurally better is not treated. Relation to earlier papers: Paper 198 showed that “straight” does not mean “shortest”──198 says one curve has two characters; this says two curves look alike. The direction is reversed. Paper 326 showed the square-cube relation is an identity──both are of the “same appearance, different content” kind, but 326 is about a ratio and this is about functions. Paper 300 showed whether two things share a root is decidable──this is a worked instance of “numerical closeness is not sameness of root”. Paper 245 showed two limits have no answer until their order is written──here too, the curve is undetermined until the measure of integration is written. Paper 183 showed one table having two correct answers──one shape having two correct equations is its counterpart. What is added is computing the difference at six points, stating that it begins at fourth order, giving the maximum difference for each sag ratio, and putting the separator on the measure. First, they agree exactly through second order. At x=0.1 the difference is 0.083292 per cent (Section 2). Second, far out they are different things. At x=5, 82.925818 per cent (Section 2). Third, the difference begins at fourth order. x^4/24 against 0 (Section 2). Fourth, this is the core of the paper. What divides them is counting along arc length or along horizontal length (Section 3). Fifth, on a real bridge the difference is only 0.082674 per cent (Section 4). Sixth, the separator is whether the deck or the cable is the heavier (Section 5). A hanging chain and a suspension-bridge cable cannot be told apart by eye. Expanding cosh shows the leading term to be the parabola itself, so they agree exactly through second order──with a=1 the difference is 0.083292 per cent at x=0.1 and 82.925818 per cent at x=5, and both figures are correct about the same two curves. “How different are they” is undetermined until you say where you are looking. The difference begins at fourth order──first, second and third all agree, and the parabola is the second-order Taylor polynomial of the catenary, not a curve fitted to it. And what divides them is not shape but measure──both come from the same balance H y''=w, and all that differs is whether w is constant against arc length ds or horizontal length dx. Constant along the arc makes the steep ends weigh more per horizontal foot, and so the catenary rises faster. So “a parabola close to a catenary” has it backwards──each is the exact answer to a different physics, and the approximation relation is something mathematics noticed afterwards. At the 1/10 sag of a real suspension bridge the maximum difference is 0.082674 per cent of the sag──8.3 cm on a 1000 m span, sometimes smaller than the construction tolerance. And they are still two different curves. One thing separates them──whether the suspended deck or the cable itself is heavier. A real bridge is neither ideal, and this paper does not locate it. Against Paper 198 the direction is exactly reversed──198 says one curve has two characters, this says two curves have one appearance, and both obey the same discipline: appearance is not evidence. One last thing──Galileo wrote that a hanging chain is a parabola. He was wrong, by 0.083 per cent. Not an error the eye could correct, and with no cosh yet in existence there was nothing to correct it to. Writing the right shape needs the words for it to exist first. 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. ----- 垂れた鎖の形と、吊り橋のケーブルの形は、目では区別がつかない。本稿が問うのは、では何が二つを分けているのかである──答は、形ではなく、荷重をどちらの長さで数えるかである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──懸垂線の方程式、放物線ケーブルの吊り橋理論、両者のテイラー展開はいずれも標準的である。構造設計をしない──使うのは二つの曲線と、一つの測度の違いだけである。たわみを扱わない──ケーブルの伸び、温度変化、活荷重によるたわみには立ち入らない。本稿は理想化された静止形状だけを見る。どちらが正しいかを判定しない──実際の橋は両者のあいだにあり、本稿はその位置を決めない。数値に工学上の精度を主張しない──たるみ比は形を比べるための値であって、特定の橋のものではない。最適形状を論じない──どちらが構造として有利かは扱わない。既刊との関係:論文198 は「まっすぐ」は「最短」を意味しないと示した──198 は同じ曲線に二つの性格があると言い、本稿は二つの曲線が同じに見えると言う。向きが逆である。論文326 は二乗三乗が恒等式だと示した──どちらも「見かけが同じでも中身が違う」型だが、326 は比の話、本稿は関数の話である。論文300 は同根か別根かは判定できると示した──本稿は「数値が近いだけでは同根でない」の実例になっている。論文245 は二つの極限が順序を書くまで答を持たないと示した──ここでも、どの測度で積分するかを書くまで曲線が決まらない。論文183 は同じ表が二つの正しい答を持つと示した──同じ形が二つの正しい方程式を持つという、対になる例である。加えたのは両曲線の差を六点で計算したこと、差が四次から出ることを明示したこと、たるみ比ごとの最大差を出したこと、分離子を測度の違いに置いたことである。 第一に、原点では二次まで完全に一致する。 x=0.1 で差は 0.083292 パーセント(第2節)。 第二に、遠くでは別物になる。 x=5 で 82.925818 パーセント(第2節)。 第三に、差は四次の項から出る。 x^4/24 対 0(第2節)。 第四に、これが本稿の芯である。分けているのは、弧長で数えるか水平長で数えるかである(第3節)。 第五に、実際の吊り橋では差は 0.082674 パーセントしかない(第4節)。 第六に、分離子は「桁とケーブル、どちらが重いか」である(第5節)。 垂れた鎖と吊り橋のケーブルは、目では区別がつかない。 cosh を展開すると最初の項が放物線そのもので、二次まで完全に一致する──a=1 とすると x=0.1 での差は 0.083292 パーセント、x=5 では 82.925818 パーセントであり、同じ二本について両方とも正しい。「どれだけ違うか」は、どこを見るかを言わないと決まらない。差は四次の項から出る──一次も二次も三次も一致しているので近くでは見分けようがなく、放物線は懸垂線の二次のテイラー多項式そのものであって、当てはめた曲線ではない。そして二つを分けているのは、形ではなく測度である──どちらも H y''=w という同じ釣り合いから出て、違うのは w が弧長 ds について一定か、水平長 dx について一定かだけである。弧長で一定なら傾いた所ほど水平方向に重くなり、だから懸垂線のほうが速く立ち上がる。だから「懸垂線に近い放物線」という言い方は順序が逆である──どちらも別々の物理から出た正確な答であって、近似関係は後から数学が見つけたものである。実際の吊り橋のたるみ比 1/10 では、最大差はたるみの 0.082674 パーセント──スパン 1000 m・たるみ 100 m の橋で 8.3 cm であり、施工の誤差より小さいこともある。それでも二つは別の曲線である。分けるものは一つ──吊られた桁とケーブル自身の、どちらが重いか。実際の橋はそのあいだにあり、本稿はその位置を決めない。論文198 とは向きがちょうど逆である──198 は一つの曲線が二つの性格を持つと言い、本稿は二つの曲線が一つの見かけを持つと言う。どちらも「見た目は根拠にならない」という同じ規律に服している。最後に一つ──ガリレオは垂れた鎖を放物線だと書いた。間違いだが、0.083 パーセントの間違いである。目で見て直せる誤りではなく、cosh という関数がまだ無かったのだから直しようもなかった。正しい形を書くには、書くための言葉が先に要る。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
An atmosphere has one length in it, H=kT/(mg). This paper asks what that length decides──the answer is both the thickness and whether the atmosphere stays. 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──scale height, the isothermal barometric law, and the Jeans parameter as an escape criterion are all standard. We do not build atmospheric science──all we use is one length and one ratio. We assume isothermality──a real atmosphere changes temperature with height, and H with it. We compute at one representative temperature. We do not treat escape mechanisms──hydrodynamic escape, non-thermal escape and solar-wind stripping are not entered. lambda is a guide, not a verdict. We do not follow compositional evolution──which gas leaves first, and when, is not treated. We claim no accuracy for the representative values──T and mean molecular weight are numbers for seeing orders of magnitude. Relation to earlier papers: Paper 309 showed that l_c=sqrt(gamma/rho g) is the length dividing gravity from surface tension──this is a third of the same kind, dividing gravity from heat this time. Paper 291 showed three lengths inside one ocean──this paper is the reverse: one length answering two questions. Paper 268 showed that the triple point’s being a “point” is settled by the phase rule before measurement──the same territory, pressure, and this paper looks at the distribution inside a single phase. Paper 276 showed the decibel is a ratio and not a quantity──R/H is a ratio too, and carries no dimension. Paper 316 showed the same integer returning from three counts──this paper is its mirror: one ratio answering two questions. What is added is computing the scale height for five bodies, tabulating H/R as a percentage, giving the pressure profile and the cumulative mass in numbers, and showing that the Jeans parameter equals R/H. First, on Earth it is 7.319 km.0.1149% of the 6371 km radius (Section 2). Second, pressure falls by 1/e every H. At Everest’s height, 0.2985 (Section 3). Third, 63.2121% of the mass sits below one H (Section 3). Fourth, this is the core of the paper. The number deciding escape is R/H itself (Section 4). Fifth, the Moon is at 25.20 and leaks. Earth 871.65, Titan 124.90 (Section 4). Sixth, the separator is which of gravity and heat wins, and it can only be written as a ratio (Section 5). An isothermal atmosphere has one length in it, H=kT/(mg), a ratio of heat to gravity that has come out as a length. On Earth it is 7.319 km──only 0.1149% of the 6371 km radius, 0.17 mm on a 30 cm globe, thinner than a sheet of paper. Pressure falls by 1/e every H, reaching 0.2985 at the summit of Everest──and 63.2121% of the mass sits below a single H. That 1-1/e depends on neither T nor g nor mu, and is the same on Venus, Jupiter and Titan. And the number deciding whether the atmosphere escapes comes out of that same H──putting g=GM/R^2 into the Jeans parameter lambda=GMm/(kTR) makes it exactly lambda=R/H. Earth stays at 871.65, Mars at 313.60, Titan at 124.90, and the Moon leaks at 25.20──Titan is smaller than the Moon and keeps its atmosphere because 94 K of cold compensates for the smallness. One thing separates them──which is larger, kT or mgR. And that can only be written as a ratio. H alone settles nothing──Jupiter’s H exceeds Earth’s, and at R/H=2804.51 it is far safer, so the ordering by length runs opposite to the ordering by safety. This is a third of the kind Paper 309 began with “the length dividing gravity from surface tension is not the size of the material”──H is not the size of the body but what the body is compared with. One last thing──one ratio is answering two questions. “How thin is it” and “does it stay” look different, and the answers are the two faces of one number. A thin atmosphere is an atmosphere in the act of leaving. 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. ----- 大気には H=kT/(mg) という長さが一つある。本稿が問うのは、この長さは何を決めているのかである──答は、厚さと、残るかどうかの両方である。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──スケールハイト、等温大気の気圧分布、ジーンズ係数による散逸の目安は、いずれも標準的である。大気科学を作らない──使うのは一つの長さと、一つの比だけである。等温を仮定する──実際の大気は高さで温度が変わり、H も高さで変わる。本稿は一つの代表温度で計算する。散逸の機構を扱わない──ジーンズ散逸以外(流体力学的散逸・非熱的散逸・太陽風の剥ぎ取り)には立ち入らない。 lambda は目安であって判定ではない。組成の進化を追わない──どの気体が先に逃げるかの時間発展は扱わない。代表値に精度を主張しない──T と平均分子量は桁を見るための値である。既刊との関係:論文309 は l_c=sqrt(gamma/rho g) が重力と表面張力を分ける長さだと示した──本稿は同じ型の三本目であり、今度は重力と熱を分ける。論文291 は同じ海に三つの長さがあると示した──本稿は一つの長さが二つの問いに答えるという、逆向きの話である。論文268 は三重点が「点」であるのは相律が測る前に決めていると示した──気圧の話をする場所が同じであり、本稿は一相の中の分布を見る。論文276 はデシベルが比であって量ではないと示した──R/H も比であり、次元を持たない。論文316 は同じ整数を三つの数え方が返すと示した──本稿は一つの比が二つの問いに答えるという、鏡像である。加えたのは五つの天体でスケールハイトを計算したこと、H/R を百分率で並べたこと、気圧の高度依存と質量の累積を数で出したこと、ジーンズ係数が R/H に一致することを示したことである。 第一に、地球では 7.319 km である。半径 6371 km の0.1149%(第2節)。 第二に、高度 H ごとに 1/e になる。エベレストの高さで 0.2985 倍(第3節)。 第三に、H 一つぶんの下に 63.2121% が入っている(第3節)。 第四に、これが本稿の芯である。逃げるか残るかを決める数は R/H そのものである(第4節)。 第五に、月は 25.20 で漏れる。地球は 871.65、タイタンは 124.90(第4節)。 第六に、分離子は「重力と熱のどちらが勝つか」であり、それは比でしか書けない(第5節)。 等温の大気には H=kT/(mg) という長さが一つあり、熱と重力の比が長さになったものである。地球では 7.319 km──半径 6371 km の0.1149%にすぎず、直径 30 cm の地球儀なら 0.17 mm、紙一枚より薄い。高度 H ごとに気圧は 1/e になり、エベレストの頂上で 0.2985 倍──そしてH 一つぶんの下に 63.2121% の質量が入っている。この 1-1/e は T にも g にも mu にも依らず、金星でも木星でもタイタンでも同じである。そして大気が逃げるか残るかを決める数は、この H そのものから出る──ジーンズ係数 lambda=GMm/(kTR) に g=GM/R^2 を入れるとlambda=R/H に厳密になる。地球は 871.65、火星は 313.60、タイタンは 124.90 で残り、月は 25.20 で漏れる──タイタンが月より小さいのに大気を持つのは、94 K という冷たさが小ささを補っているからである。分けるものは一つ──kT と mgR のどちらが大きいか。そしてそれは比でしか書けない。 H 単独では何も決まらない──木星の H は地球より大きいのに R/H=2804.51 で地球よりずっと安泰であり、長さの大小と安泰さの大小が逆を向いている。論文309 が「重力と表面張力を分ける長さは材料の寸法ではない」と書いたのと同じ型の三本目である──H は天体の寸法ではなく、比べる相手である。最後に一つ──同じ一つの比が、二つの問いに答えている。「どれだけ薄いか」と「残るか」は別の問いに見えて、答は同じ数の表と裏であった。薄い大気とは、逃げかけている大気のことである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Over a year a star traces a small ellipse on the sky. This paper asks whether that ellipse is one thing──the answer is that there are two, and they are told apart by phase. 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──aberration, annual parallax, Bradley’s observation of 1728, and the definition of the constant of aberration are all standard. We do not build celestial mechanics──all we use is two angles and the phase between them. We do not treat this relativistically──the relativistic formula for aberration is not entered. We look only where first order in v/c suffices. We do not treat proper motion──a star’s own motion is not periodic and so separates from both of these. It is mentioned and no more. We do not adjudicate the history──who first saw what is not entered. We do not treat the distance ladder──the rungs beyond parallax belong to Paper 297. Relation to earlier papers: Paper 297 showed the cosmic distance scale to be a ladder of seven rungs with only the first measured directly──that first rung is parallax, and this paper looks at the other ellipse standing beside it. Paper 325 showed the radius not entering the angle of a rainbow──the same form, with distance not entering aberration here. Paper 300 showed whether two things share a root is decidable──this is an instance of “same shape, different root”, and what decided it was not a value but a phase. Paper 327 showed two curves agreeing to within 0.083 per cent──there the appearance is the same and the things differ; here the size can be the same and the things differ. Paper 313 showed the corpus using “synchrony” in several senses──phase is again the tool that decides. What is added is giving the constant of aberration from both a simple calculation and the literature and stating the difference, tabulating the ratio across three decades of distance, solving for the distance at which the two would be equal, and putting the separator on position against velocity. First, aberration is 20.49552 arcseconds (Section 2). Second, this is the core of the paper. Aberration does not depend on distance; parallax goes as its reciprocal (Section 3). Third, even the nearest star opens by 26.6442. At a kiloparsec, 20495 (Section 3). Fourth, amplitude cannot always separate them. At some distance the two would be equal (Section 3). Fifth, their phases differ by a quarter. That is how Bradley told them apart (Section 4). Sixth, the separator is whether the effect is set by position or by velocity (Section 5). Over a year a star traces a small ellipse on the sky, and two causes are possible──annual parallax, because the Earth’s position changes, and aberration, because its velocity does. Both have a period of one year, both are ellipses, and the shape does not distinguish them. Aberration follows from tanalpha=v/c and is 20.49552 arcseconds, about 1/88 of the apparent diameter of the full moon──(the simple calculation here, 20.492697, differs by 0.0138 per cent, because kappa is defined to include the eccentricity, so this paper uses the literature value). And the distance to the star is nowhere in that formula──it contains only the observer’s speed and the speed of light, not one piece of information about the thing being looked at. Even Proxima is out by 26.6442, and at a kiloparsec by 20495.5200. The distance at which the two would be equal is 0.159135 light years, and no such star exists──so on amplitude alone, aberration always wins. What separated them was not amplitude but phase──in circular motion the velocity points a quarter period ahead of the position, so the two ellipses are exactly three months apart. In 1728 Bradley, hunting for parallax, found an ellipse in the wrong season and knew it was not his quarry. A mismatch in amplitude would have been weak evidence──without the distance there is no predicted parallax to compare against, whereas the phase can be predicted without knowing the distance at all. One thing separates them──whether the effect is set by the observer’s position or by the observer’s velocity. Settle that and the distance dependence and the phase follow automatically, so three apparently independent differences are one. Paper 297 wrote that the first rung of the distance ladder is parallax──this paper says that immediately beside it sits an ellipse of the same shape containing no distance at all. The first rung does not stand by itself. One last thing──Bradley failed to find what he was looking for and found what he was not. And it became a measurement of the speed of light, because v/c can be read off from an angle of 20 arcseconds. A failure to find became the ruler for something else. 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. ----- 恒星は一年かけて空に小さな楕円を描く。本稿が問うのは、その楕円は一種類かである──答は、二種類あり、位相で見分けられるである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──光行差、年周視差、ブラッドリーの 1728 年の観測、光行差定数の定義はいずれも標準的である。天体力学を作らない──使うのは二つの角度と、その位相差だけである。相対論的な扱いをしない──光行差の相対論的公式には立ち入らない。 v/c の一次までで足りる場面だけを見る。固有運動を扱わない──恒星自身の運動は周期的でないので、本稿の二つとは分けられる。触れるにとどめる。測定の歴史を裁定しない──誰が最初に何を見たかの帰属には立ち入らない。距離はしごを扱わない──視差より遠い段は論文297 の射程である。既刊との関係:論文297 は宇宙の距離が七段のはしごで、直接測られているのは一段目だけだと示した──その一段目が視差であり、本稿はその隣に立つもう一つの楕円を見る。論文325 は虹の角度に半径が入らないと示した──同じ型であり、ここでは光行差に距離が入らない。論文300 は同根か別根かは判定できると示した──本稿は「同じ形をしていても別根」の実例であり、判定に使ったのは値ではなく位相である。論文327 は二つの曲線が 0.083 パーセントしか違わないと示した──そこでは見た目が同じで別物、ここでは大きさが同じでも別物である。論文313 は体系が「同期」を複数の意味で使ってきたと示した──位相という語がここでも判定の道具になっている。加えたのは光行差定数を単純計算と文献値の両方で示し、その差を明示したこと、距離ごとの比を三桁にわたって出したこと、二つが同じ振幅になる距離を求めたこと、分離子を位置と速度の別に置いたことである。 第一に、光行差は 20.49552 秒角である(第2節)。 第二に、これが本稿の芯である。光行差は距離に依らず、視差は距離に反比例する(第3節)。 第三に、最も近い恒星でも 26.6442 倍ひらく。1 キロパーセクなら 20495 倍(第3節)。 第四に、振幅では分けられない場合がある。ある距離では二つが同じ大きさになる(第3節)。 第五に、位相が四分の一ずれている。ブラッドリーはそれで見分けた(第4節)。 第六に、分離子は「位置で決まるか、速度で決まるか」である(第5節)。 恒星は一年かけて空に小さな楕円を描き、その原因は二つありうる──地球の位置が変わるからの年周視差と、地球の速度が変わるからの光行差である。どちらも一年周期の楕円で、形では区別がつかない。光行差は tanalpha=v/c から出て 20.49552 秒角、満月の見かけの直径の約 1/88 である──(本稿の単純計算 20.492697 は文献値と 0.0138 パーセント違い、kappa は離心率を含む定義なので、本稿が使うのは文献値である)。そしてこの式には、恒星までの距離が入っていない──現れるのは観測者の速度と光速だけで、見ている相手の情報が一つも入らない。最も近いプロキシマですら視差の 26.6442 倍、1 キロパーセクでは 20495.5200 倍ひらく。二つが同じ大きさになる距離は 0.159135 光年で、そんな恒星は存在しない──振幅の大小では、常に光行差が勝つ。分けたのは振幅ではなく、位相である──円運動では速度は位置の四分の一周期先を向くので、二つの楕円はちょうど三ヶ月ずれる。ブラッドリーは 1728 年、視差を探していて楕円を見つけ、季節がずれていることで探し物ではないと知った。振幅が合わないことは証拠として弱い──距離を知らなければ視差の予想値が立たないからで、位相は距離を知らなくても予想できる。分けるものは一つ──その効果が観測者の位置で決まるか、速度で決まるか。それが決まれば距離依存も位相も自動的に決まり、独立に見えた三つの違いが一つの違いになる。論文297 は距離のはしごの一段目が視差だと書いた──本稿はその一段目のすぐ隣に、距離を一切含まない同じ形の楕円が乗っていることを言う。はしごの一段目は、単独では立っていない。最後に一つ──ブラッドリーは探していたものを見つけられず、探していなかったものを見つけた。そしてそれは光速の測定になった。20 秒角という角度から v/c が読めるからである。見つからなかったことが、別のものの物差しになった。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
A hanging chain and a suspension-bridge cable cannot be told apart by eye. This paper asks what divides them──the answer is not the shape, but which length the load is counted along. 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 catenary equation, the parabolic-cable theory of suspension bridges, and the Taylor expansions of both are all standard. We do not do structural design──all we use is two curves and one difference of measure. We do not treat deflection──cable stretch, thermal movement and live-load deflection are not entered. This paper looks only at the idealised static shape. We do not adjudicate which is correct──a real bridge lies between the two, and this paper does not locate it. We claim no engineering accuracy──the sag ratios are values for comparing shapes, not those of any particular bridge. We do not discuss optimal shape──which is structurally better is not treated. Relation to earlier papers: Paper 198 showed that “straight” does not mean “shortest”──198 says one curve has two characters; this says two curves look alike. The direction is reversed. Paper 326 showed the square-cube relation is an identity──both are of the “same appearance, different content” kind, but 326 is about a ratio and this is about functions. Paper 300 showed whether two things share a root is decidable──this is a worked instance of “numerical closeness is not sameness of root”. Paper 245 showed two limits have no answer until their order is written──here too, the curve is undetermined until the measure of integration is written. Paper 183 showed one table having two correct answers──one shape having two correct equations is its counterpart. What is added is computing the difference at six points, stating that it begins at fourth order, giving the maximum difference for each sag ratio, and putting the separator on the measure. First, they agree exactly through second order. At x=0.1 the difference is 0.083292 per cent (Section 2). Second, far out they are different things. At x=5, 82.925818 per cent (Section 2). Third, the difference begins at fourth order. x^4/24 against 0 (Section 2). Fourth, this is the core of the paper. What divides them is counting along arc length or along horizontal length (Section 3). Fifth, on a real bridge the difference is only 0.082674 per cent (Section 4). Sixth, the separator is whether the deck or the cable is the heavier (Section 5). A hanging chain and a suspension-bridge cable cannot be told apart by eye. Expanding cosh shows the leading term to be the parabola itself, so they agree exactly through second order──with a=1 the difference is 0.083292 per cent at x=0.1 and 82.925818 per cent at x=5, and both figures are correct about the same two curves. “How different are they” is undetermined until you say where you are looking. The difference begins at fourth order──first, second and third all agree, and the parabola is the second-order Taylor polynomial of the catenary, not a curve fitted to it. And what divides them is not shape but measure──both come from the same balance H y''=w, and all that differs is whether w is constant against arc length ds or horizontal length dx. Constant along the arc makes the steep ends weigh more per horizontal foot, and so the catenary rises faster. So “a parabola close to a catenary” has it backwards──each is the exact answer to a different physics, and the approximation relation is something mathematics noticed afterwards. At the 1/10 sag of a real suspension bridge the maximum difference is 0.082674 per cent of the sag──8.3 cm on a 1000 m span, sometimes smaller than the construction tolerance. And they are still two different curves. One thing separates them──whether the suspended deck or the cable itself is heavier. A real bridge is neither ideal, and this paper does not locate it. Against Paper 198 the direction is exactly reversed──198 says one curve has two characters, this says two curves have one appearance, and both obey the same discipline: appearance is not evidence. One last thing──Galileo wrote that a hanging chain is a parabola. He was wrong, by 0.083 per cent. Not an error the eye could correct, and with no cosh yet in existence there was nothing to correct it to. Writing the right shape needs the words for it to exist first. 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. ----- 垂れた鎖の形と、吊り橋のケーブルの形は、目では区別がつかない。本稿が問うのは、では何が二つを分けているのかである──答は、形ではなく、荷重をどちらの長さで数えるかである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──懸垂線の方程式、放物線ケーブルの吊り橋理論、両者のテイラー展開はいずれも標準的である。構造設計をしない──使うのは二つの曲線と、一つの測度の違いだけである。たわみを扱わない──ケーブルの伸び、温度変化、活荷重によるたわみには立ち入らない。本稿は理想化された静止形状だけを見る。どちらが正しいかを判定しない──実際の橋は両者のあいだにあり、本稿はその位置を決めない。数値に工学上の精度を主張しない──たるみ比は形を比べるための値であって、特定の橋のものではない。最適形状を論じない──どちらが構造として有利かは扱わない。既刊との関係:論文198 は「まっすぐ」は「最短」を意味しないと示した──198 は同じ曲線に二つの性格があると言い、本稿は二つの曲線が同じに見えると言う。向きが逆である。論文326 は二乗三乗が恒等式だと示した──どちらも「見かけが同じでも中身が違う」型だが、326 は比の話、本稿は関数の話である。論文300 は同根か別根かは判定できると示した──本稿は「数値が近いだけでは同根でない」の実例になっている。論文245 は二つの極限が順序を書くまで答を持たないと示した──ここでも、どの測度で積分するかを書くまで曲線が決まらない。論文183 は同じ表が二つの正しい答を持つと示した──同じ形が二つの正しい方程式を持つという、対になる例である。加えたのは両曲線の差を六点で計算したこと、差が四次から出ることを明示したこと、たるみ比ごとの最大差を出したこと、分離子を測度の違いに置いたことである。 第一に、原点では二次まで完全に一致する。 x=0.1 で差は 0.083292 パーセント(第2節)。 第二に、遠くでは別物になる。 x=5 で 82.925818 パーセント(第2節)。 第三に、差は四次の項から出る。 x^4/24 対 0(第2節)。 第四に、これが本稿の芯である。分けているのは、弧長で数えるか水平長で数えるかである(第3節)。 第五に、実際の吊り橋では差は 0.082674 パーセントしかない(第4節)。 第六に、分離子は「桁とケーブル、どちらが重いか」である(第5節)。 垂れた鎖と吊り橋のケーブルは、目では区別がつかない。 cosh を展開すると最初の項が放物線そのもので、二次まで完全に一致する──a=1 とすると x=0.1 での差は 0.083292 パーセント、x=5 では 82.925818 パーセントであり、同じ二本について両方とも正しい。「どれだけ違うか」は、どこを見るかを言わないと決まらない。差は四次の項から出る──一次も二次も三次も一致しているので近くでは見分けようがなく、放物線は懸垂線の二次のテイラー多項式そのものであって、当てはめた曲線ではない。そして二つを分けているのは、形ではなく測度である──どちらも H y''=w という同じ釣り合いから出て、違うのは w が弧長 ds について一定か、水平長 dx について一定かだけである。弧長で一定なら傾いた所ほど水平方向に重くなり、だから懸垂線のほうが速く立ち上がる。だから「懸垂線に近い放物線」という言い方は順序が逆である──どちらも別々の物理から出た正確な答であって、近似関係は後から数学が見つけたものである。実際の吊り橋のたるみ比 1/10 では、最大差はたるみの 0.082674 パーセント──スパン 1000 m・たるみ 100 m の橋で 8.3 cm であり、施工の誤差より小さいこともある。それでも二つは別の曲線である。分けるものは一つ──吊られた桁とケーブル自身の、どちらが重いか。実際の橋はそのあいだにあり、本稿はその位置を決めない。論文198 とは向きがちょうど逆である──198 は一つの曲線が二つの性格を持つと言い、本稿は二つの曲線が一つの見かけを持つと言う。どちらも「見た目は根拠にならない」という同じ規律に服している。最後に一つ──ガリレオは垂れた鎖を放物線だと書いた。間違いだが、0.083 パーセントの間違いである。目で見て直せる誤りではなく、cosh という関数がまだ無かったのだから直しようもなかった。正しい形を書くには、書くための言葉が先に要る。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には 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
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
