The Equals Sign Has Distinct Roots Too ── 3rd Edition: What the Yamagishi Full-Synchronisation Equation Was Chaining ── [Paper 16]

Abstract

The first edition of this paper presented the one-line chain p=4πv=e/r=c√n_opt and claimed that four domains of physics were thereby "fully synchronised". The second edition found that the three equals signs have different logical standings and withdrew the "grand unification" claim. The 3rd edition turns that finding into a census the series can use. First, the equals sign has distinct roots too. "=" is not one kind of assertion. This paper takes a census of six roots: (a) definition (p≡mv; true by stipulation, cannot be false), (b) consequence of substitution (with m=4π, p=4πv; automatic once the convention is adopted), (c) identity (sin²θ+cos²θ=1; true for all values), (d) conditional (mv²/r=e²/4πε₀r²; holds only on solutions), (e) empirical law (v_phase=c/n_opt; could have been false, and has been tested), (f) dimensionally void (the sides differ in dimension, so it is not even a candidate for truth). There is an ordering of content among the six: (a) and (b) say nothing about the world, (c) is said by mathematics, (d) and (e) are said by the world, and (f) says nothing at all. Chaining quantities with "=" therefore makes them look as though they had the same standing — the symbol hides the difference in standing. This is the same shape as the 3rd edition of Paper 15, which wrote that "a name can conceal a distinction": there it was a name, here it is a symbol. Second, this paper's chain set three different kinds of relation side by side under one symbol. p=4πv is (b) — it follows once m=4π is adopted, and is not a discovery. 4πv=e/r is (d) — the centripetal balance on a circular orbit, not valid for arbitrary v and r. e/r=c√n_opt is (f) — the dimensions disagree and √n_opt has no source. Note especially the character of (d): the 3rd edition of Paper 15 narrowed its range further still, to a single radius, from which it can neither be differentiated with respect to r nor extended to other radii. The middle link of the chain is joined only at a point. Third, the dimensional mismatch the second edition recorded as unresolved does resolve — but the way it resolves is the problem. In the system of units identified in the 3rd edition of Paper 15 (ε₀=r so [ε₀]=L; m=4π so M=1; hence C=L²T⁻¹, charge as area per unit time), p=mv is (1)(L/T)=L/T, 4πv is L/T, e/r is C/L=(L²T⁻¹)/L=L/T, and c√n_opt is L/T: all four agree at L/T. But the condition that buys this agreement is ε₀=r, which the 3rd edition of Paper 15 showed is not a convention — a convention must be a number, and something assigning a different value at every radius is not a choice of units. So "the dimensions agree" is not evidence for the chain; it is a consequence of the same single illegitimate move. Two results of one operation must not be used as evidence for each other. As an aside, writing "in natural units" does not fix the equation either: in Heaviside–Lorentz units α=e²/4π so e=√(4πα)=0.3028, while in Gaussian units α=e² so e=√α=0.0854 (computed here). Fourth, the third equals sign is not "future work". The standard optical relation in which a square root of the refractive index arises is Maxwell's relation n_opt=√(ε_r μ_r), so that √n_opt=(ε_r μ_r)^(1/4) — the fourth root of ε_r μ_r (computed here: 1.2247 for ε_r=2.25, i.e. n=1.5, and 1.4142 for ε_r=4, i.e. n=2). This quantity occurs in no standard relation of optics, whereas the phase velocity in a medium is v_phase=c/n_opt, with no square root and with n_opt in the denominator. Since no source for the square root can be identified, this is not an equation whose derivation is incomplete but an equation with no root; leaving it as future work would imply that the gap will one day be filled, and the 3rd edition removes that implication. A fourth root also appears in the 3rd edition of Paper 03 (the Kolmogorov length), but it is a distinct root: there it is forced by the determinant |det|=4 of the dimension matrix, here it is an ungrounded square root of a square root. The two 1/4s must not be joined. Fifth, what remains is that one substitution appears in several places. As verified here, putting m=4π into E_k=½mv² gives E_k=2πv² (Paper 18); into P=⅓nm⟨v²⟩ gives P=(4/3)πnv² (Paper 19); into (3/2)kT=½m⟨v²⟩ gives kT=(4/3)πv² (Paper 20). All three are one substitution into a standard formula, and no new relation appears; this is not a "transfer of machinery" in the sense of Paper 100. Moreover the 3rd edition of Paper 35 sorted the two 4π's inside 4πG: the 4π of Poisson's equation is forced by Gauss's flux and cannot be chosen, whereas the 4π of G=4π is a choice of units and can be. The 4π of p=4πv is the latter. Being a chosen number, its appearance in several domains is no cause for surprise — the same number was put in four places, so it appears in four places. A unification built on a choice of units unifies the notation. It does not unify the physics. Finally, this paper places the series' third check. Following the 3rd edition of Paper 11 ("a quantity entering a normalised probability only as an overall factor cannot be observed, by definition") and the 3rd edition of Paper 15 ("a convention must be a number"), this paper adds: write out the root of each equals sign. When several quantities are chained with "=", state for each equality whether it is (a) a definition, (b) a consequence of substitution, (c) an identity, (d) a conditional, (e) an empirical law, or (f) dimensionally void. Without that, the symbol hides the difference in standing. All three checks were extracted from the author's own failures: in Paper 11 a quantity that cancels was called a mechanism; in Paper 15 a quantity that varies was called a constant; here different kinds of relation were set side by side under one symbol. Being wary of numbers is not enough — "=" too makes different things look the same. This paper claims no unification of physical domains. (scope note) Scope of this paper: This paper offers a structural interpretation of existing physical law. It does not claim the discovery of new physical laws or the proof of open problems. Note on units: Substitutions such as m=4π are a choice of natural units. G and ħ are dimensionful; their numerical values depend entirely on the unit system. Setting G=4π is legitimate in exactly the same sense as setting G=1 (geometric units) or G=6.674×10⁻¹¹ (SI); physics does not single out one of these as "correct." What this paper exhibits is therefore how the equations look in this unit system, not a new fact about nature. A note on the aim of this work. This is a structural reinterpretation of well-established physics, not a proposal for a new physical law. Every relation shown is a substitution into, or a geometric re-reading of, equations that are already known and that remain unchanged. The aim is a modest one: to make a few recurring geometric structures — in particular the solid angle 4π and the exponent n = 2 — easier to see within a single picture. Where a particular unit convention is adopted (for example G = 4π), this is a choice of notation, not a claim about nature. Nothing here is intended to contradict existing results. 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. ----- 本稿は初版で p=4πv=e/r=c√n_opt という一行の等式列を掲げ、四つの物理領域が「全同期」すると述べた論文である。第2版は三つの等号が互いに異なる論理的地位をもつことを見出して「大統一」主張を撤回した。第3版はその発見を、体系が使える形の点呼に仕上げる。 第一に、等号にも別根がある。「=」は一種類の主張ではない。本稿は六つの根を点呼する──(a) 定義(p≡mv。規定により真であり、偽になりえない)、(b) 代入の帰結(m=4π を採れば p=4πv。規約を採った時点で自動的に従う)、(c) 恒等式(sin²θ+cos²θ=1。全ての値について真)、(d) 条件式(mv²/r=e²/4πε₀r²。解の上でのみ成り立つ)、(e) 経験的法則(v_phase=c/n_opt。偽でありえたものが検証されている)、(f) 次元的に無効(両辺の次元が違い、そもそも真偽の候補ですらない)。この六つには情報量の順序がある──(a) と (b) は世界について何も言わず、(c) は数学が言い、(d) と (e) は世界が言い、(f) は何も言っていない。したがって「=」で並べることは、四つの量が同じ資格をもつように見せる。記号が資格の差を隠すのである。論文15第3版が「名前は区別を隠すことがある」と書いたのと同じ形で、そこでは名前が、ここでは記号が隠していた。 第二に、本稿の等式列は三つの別種の関係を同じ記号で並べたものだった。p=4πv は (b)(m=4π を採った時点で従う。発見ではない)、4πv=e/r は (d)(円軌道の向心力平衡であり、任意の v, r では成り立たない)、e/r=c√n_opt は (f)(次元が合わず、√n_opt に出どころがない)。とりわけ (d) の性格に注意する。論文15第3版はその範囲をさらに狭めた──一つの半径においてのみ成り立ち、r について微分することも他の半径へ延ばすこともできない。等式列の真ん中の環は、点でしかつながっていない。 第三に、第2版が「未解決」と記した次元の不一致は解決する。ただし解決の仕方が問題である。論文15第3版が同定した単位系──ε₀=r ゆえ [ε₀]=L、m=4π ゆえ M=1、したがって C=L²T⁻¹(電荷=面積毎秒)──では、p=mv は (1)(L/T)=L/T、4πv は L/T、e/r は C/L=(L²T⁻¹)/L=L/T、c√n_opt は L/T となり、四量はすべて L/T で一致する。だがこの一致を買っている条件が ε₀=r であり、論文15第3版はそれが規約ではないことを示した──規約は数でなければならず、半径ごとに違う値を与えるものは単位の選択ではない。したがって「次元が揃った」ことは等式列の根拠ではなく、同じ一つの不当な操作の帰結である。同じ操作から出た二つの結果を、互いの証拠として使ってはならない。付言すれば、「自然単位系で」と書くだけでも式は定まらない──ハビサイド=ローレンツ単位系では α=e²/4π ゆえ e=√(4πα)=0.3028、ガウス単位系では α=e² ゆえ e=√α=0.0854 である(本稿で計算)。 第四に、第三の等号は「今後の課題」ではない。光学において屈折率に平方根が現れる標準的な関係はマクスウェルの関係 n_opt=√(ε_r μ_r) である。したがって √n_opt=(ε_r μ_r)^(1/4) となり、ε_r μ_r の 1/4 乗になる(本稿で確認:ε_r=2.25 すなわち n=1.5 で 1.2247、ε_r=4 すなわち n=2 で 1.4142)。この量は光学のどの標準的な関係にも現れない。一方、媒質中の位相速度は v_phase=c/n_opt であり、平方根は現れず、しかも n_opt は分母にある。平方根の出どころが特定できない以上、これは「導出が未完成な式」ではなく「根のない式」である。課題として残すことはいつか埋まるという含みを持たせることになるため、第3版はその含みを外す。なお 1/4 乗は論文03第3版(コルモゴロフ長)にも現れるが別根である──あちらは次元行列の行列式 |det|=4 から強制されたもので、こちらは根拠のない平方根の平方根である。同じ 1/4 を結んではならない。 第五に、残るのは「同じ代入が複数の場所に現れる」ことである。本稿で確認したとおり、E_k=½mv² に m=4π を入れれば E_k=2πv²(論文18)、P=⅓nm⟨v²⟩ に入れれば P=(4/3)πnv²(論文19)、(3/2)kT=½m⟨v²⟩ に入れれば kT=(4/3)πv²(論文20)となる。三つとも標準式に一つの代入を行っただけであり、新しい関係は現れていない。これは論文100のいう「機械の移送」ではない。そして論文35第3版は 4πG の中の二つの 4π を仕分けた──ポアソン方程式の 4π はガウスの流束から強制されており選べないが、G=4π の 4π は単位の取り方であり選べる。本稿の p=4πv の 4π は後者である。選んだ数である以上、それが複数の領域に現れることは驚くべきことではない。同じ数を四つの場所に置いたのだから、四つの場所に現れる。単位の選択の上に建てた統一は、記法を統一する。物理を統一しない。 最後に、本稿は体系の三つ目の検査項目を置く。論文11第3版が「正規化された確率に全体因子としてしか入らない量は、定義により観測できない」、論文15第3版が「規約は数でなければならない」を立てたのに続き、本稿は「等号の根を書き分けよ」を置く──複数の量を「=」で並べるとき、各等号が (a) 定義/(b) 代入の帰結/(c) 恒等式/(d) 条件式/(e) 経験的法則/(f) 次元的に無効 のどれかを明示せよ。明示しないかぎり、記号が資格の差を隠す。三つの検査項目はいずれも著者自身の失敗から取り出された──論文11では消える量を機構と呼び、論文15では変わる量を定数と呼び、本稿では違う種類の関係