Failing to Have a Transition for Want of Size Is Not the Same as Failing for Want of Dimension ── The free energy of the one-dimensional Ising model shows no jump in its second derivative at finite size (a largest step of 0.282856 at n=64) ── taking the limit is necessary for a transition, not sufficient ── [Paper 502]

Abstract

The absence of a phase transition is put down to the system being finite. This paper shows that a system can fail to have one even in the thermodynamic limit──the one-dimensional Ising model, whose largest step stays at 0.510568. No new theorem or law is claimed. Scope of this paper (scope note): No new theorem or law is claimed──that the one-dimensional Ising model has no transition, and that finite partition functions are analytic, are standard. No theory of transitions──critical exponents, the renormalisation group and the distribution of Yang-Lee zeros are not the subject; only the second derivative of the free energy. Two dimensions were not computed──Onsager’s exact solution is not used, and nothing here shows that two dimensions do jump. No claim about numerical precision──these are finite differences at step 10^-4, not true second derivatives; what is compared is values taken at the same step. The kink is not physics──-|beta-1| is a control for seeing the test react, not a model. Relation to earlier papers: Paper 154 showed that “transitions occur only in the thermodynamic limit” is the non-commutation of two limits──this paper shows in numbers that the “only” is necessary and not sufficient. Paper 245 showed that two limits have no answer until the order is written──here, writing the order still leaves no jump when the dimension is too low. Paper 271 showed that mean field does not see the dimension──on this side, the dimension settles the answer itself. Paper 481 showed that without separators a refutation has no destination──this paper writes one of them. What is added is tabulating the free energy from n=4 to 1024, measuring the finite-size step at 0.282856, showing the limit stays at 0.510568, giving the kink control at 2.000x10^4, and placing the separator at size versus dimension. First, at n=1024 the free energy matches the closed form at -1.626523375036 (Section 2). Second, at n=4 it is still 7.782x10^-2 away──so the test responds to n (Section 2). Third, at finite n=64 the second derivative does not jump──the largest step is 0.282856 (Section 3). Fourth, this is the core of the paper. Nor does it jump in the thermodynamic limit──the closed form gives a largest step of 0.510568 (Section 3). Fifth, the same test on a kink jumps by 2.000x10^4──so it does respond to non-analyticity (Section 3). Sixth, the separator is whether what is lacking is size or dimension (Section 4). The absence of a phase transition is put down to the system being finite──a finite sum is a polynomial and analytic everywhere, so take the limit and a transition appears. But taking the limit guarantees no jump: it only makes non-analyticity possible, and whether anything jumps is another matter. Measuring the finite system──the free energy per site at beta=0.5 runs -1.648821002, -1.626523916 and -1.626523375 for n=4, 16 and 64, against a closed form of -1.626523375. At n=1024 the two agree at -1.626523375036. At n=4 the difference is still 7.782x10^-2, so the test responds to n. The rate depends on beta: six digits by n=16 at beta=0.5, only three by n=64 at beta=2.0. Taking the limit produces no jump──second differences in beta at step 10^-4 run from -1.661210 to -0.814208 at n=64, with a largest step of 0.282856: smooth. The closed form in the thermodynamic limit runs from -1.661210 to -0.814202, a largest step of 0.510568──with n sent to infinity, the same order as at finite n. The same test applied to the kink -|beta-1| jumps by 2.000x10^4, four orders above, so it does pick up non-analyticity. So “finite, therefore no jump” is not the reason here: the limit was taken and still nothing jumped. That elsewhere is the dimension: in one dimension the cost of a single domain wall is finite, so arbitrarily many enter and no order forms at finite temperature. One thing separates them──is what is lacking the size of the system, or the dimension of space. If size, the limit should produce a jump──but it stayed at 0.510568. If dimension, the limit changes nothing──and nothing jumped. The two are distinct roots by the criterion of Paper 300: both are stated as “there is no phase transition”, but one is a reason the limit removes and the other a reason it does not. Paper 154 spoke to the first, that transitions occur only in the thermodynamic limit──a necessary condition and not a sufficient one, and this paper gives the difference in numbers. It neighbours Paper 245 as well: two limits have no answer until the order is written, yet here writing the order still gives “no jump” when the dimension is too low. This is one of the separators of Paper 481: when a model shows no transition, whether the system is small, the dimension too low, or the interaction too short-ranged sends the repair elsewhere. To be honest──two dimensions were not computed. That one dimension does not jump is shown; that two do is not. Onsager’s exact solution would show it, but it does not enter the numbers here, so “raise the dimension and it jumps” is not claimed. 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. Keywords: phase transition, one-dimensional Ising model, finite system, partition function, Lee-Yang theorem. ----- 相転移が無いのは系が有限だからだと言われる。本稿が示すのは、熱力学極限を取っても転移しない場合があることである──一次元イジングがそれで、跳びは 0.510568 にとどまる。新しい定理も法則も主張しない。 本稿の射程(射程注記):新しい定理も法則も主張しない──一次元イジングに相転移が無いことも、有限系の分配関数が解析的であることも標準的である。相転移の理論を書かない──臨界指数、くりこみ群、ヤン=リーの零点の分布は主題ではない。自由エネルギーの二階微分だけを見る。二次元を計算していない──オンサーガーの厳密解は使っておらず、二次元で跳ぶことは本稿の数では示していない。数値微分の精度を主張しない──刻み 10^-4 の差分であり、真の二階微分ではない。比べているのは同じ刻みで測った値どうしである。折れ線は物理ではない──-|beta-1| は検査が反応することを見るための対照であって、模型ではない。既刊との関係:論文154 は「相転移は熱力学極限でだけ起きる」が二つの極限の非交換だと示した──本稿はその「だけ」が必要条件であって十分条件でないことを、数で示す。論文245 は二つの極限が順序を書くまで答を持たないと示した──ここでは順序を書いても、次元が足りなければ跳ばない。論文271 は平均場が次元を見ないと示した──本稿の側では、次元が答そのものを決めている。論文481 は分離子が無いと反証の行き先が決まらないと示した──本稿はその分離子を一本書く。加えたのは、n=4 から 1024 まで自由エネルギーを出したこと、有限の跳びを 0.282856 と測ったこと、極限でも 0.510568 にとどまることを示したこと、対照の折れ線で 2.000x10^4 を出したこと、分離子を大きさと次元に置いたことである。 第一に、n=1024 の自由エネルギーが閉じた式に -1.626523375036 で一致する(第2節)。 第二に、n=4 ではまだ 7.782x10^-2 離れている──検査が n に反応する(第2節)。 第三に、有限の n=64 では二階微分が跳ばない──最大の跳びは 0.282856 である(第3節)。 第四に、これが本稿の芯である。熱力学極限でも跳ばない──n->infinity の閉じた式でも最大の跳びは 0.510568 である(第3節)。 第五に、同じ検査を折れ線に当てると 2.000x10^4 跳ぶ──検査は非解析性に反応している(第3節)。 第六に、分離子は「足りないのが大きさか、次元か」である(第4節)。 相転移が無いのは系が有限だからだと言われる──有限個の項の和は多項式でどこでも解析的だから、極限を取れば転移する、という像である。だが極限を取ることは跳ぶことを保証しない。解析的でなくなりうるというだけで、実際に跳ぶかは別の問題である。有限系を測る──一次元イジングの一サイトあたり自由エネルギーは、beta=0.5 で n=4 が -1.648821002、n=16 が -1.626523916、n=64 が -1.626523375、閉じた式が -1.626523375 である。 n=1024 では -1.626523375036 対 -1.626523375036 で一致する。 n=4 ではまだ 7.782x10^-2 離れており、検査が n に反応していることの確認になる。寄り方は beta に依り、beta=0.5 では n=16 で 6 桁合うのに、beta=2.0 では n=64 でも 3 桁である。極限を取っても、跳ばない──beta について刻み 10^-4 の二階差分を取ると、n=64 では beta=0.90 から 1.10 にかけて -1.661210 から -0.814208 へ、最大の跳びは 0.282856 で滑らかである。熱力学極限の閉じた式でも -1.661210 から -0.814202 へ、最大の跳びは 0.510568──n を無限にしたのに、有限のときと同じ桁のままである。同じ検査を折れ線 -|beta-1| に当てると 2.000x10^4 跳ぶ。一次元イジングの 0.510568 より 4 桁大きく、検査は非解析性を拾っている。だから「有限だから跳ばない」は、この場合の理由ではない。その別のところが次元で、一次元では境界一つを作る代価が有限なので、いくらでも入り、有限の温度で秩序が立たない。分けているものは一つ──足りないのが系の大きさか、空間の次元か。大きさが足りないなら極限で跳ぶはずだが、0.510568 にとどまった。次元が足りないなら極限でも跳ばず、実際に跳ばなかった。二つは論文300 の基準で別根であり、どちらも「相転移が無い」と言えるが、一方は極限を取れば消える理由、一方は取っても消えない理由である。論文154 が言ったのは前者の側で、相転移は熱力学極限でだけ起きるという言明である。これは必要条件であって十分条件ではなく、本稿はその差を数で出した。論文245 とも隣り合い、二つの極限は順序を書くまで答を持たないが、ここでは順序を書いても、次元が足りなければ答は「跳ばない」である。これは論文481 でいう分離子の一本で、「模型に相転移が出ない」という報告が来たとき、系が小さいのか、次元が足りないのか、相互作用が短距離すぎるのかで直す先が違う。正直に言えば──二次元を計算していない。一次元で跳ばないことは示したが、二次元で跳ぶことは示しておらず、オンサーガーの厳密解を使えば示せるはずだが本稿の数には入っていない。だから「次元が上がれば跳ぶ」までは、ここでは主張していない。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。 キーワード:相転移、一次元イジング模型、有限系、分配関数、リー・ヤンの定理。