"It Must Appear" Does Not Tell You When ── Checking R(5,5) by Exhaustion Would Take 10^271.8 Colourings, 191.8 Orders More Than There Are Atoms in the Universe ── Existence Can Be Proved; Size Is Not Given ── [Paper 302]

Abstract

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(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。