コラッツ予想解いたんだけど (37ﾚｽ)
コラッツ予想解いたんだけど http://rio2016.5ch.net/test/read.cgi/math/1734229151/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2024/12/15(日) 11:19:11.17 ID:VN3nxi/R コラッツ予想解いたんだけど発表とかってどうすればいいの 今大学生 http://rio2016.5ch.net/test/read.cgi/math/1734229151/1
2: １３２人目の素数さん [sage] 2024/12/15(日) 11:23:55.29 ID:X4wHD//v 働け http://rio2016.5ch.net/test/read.cgi/math/1734229151/2
3: １３２人目の素数さん [sage] 2024/12/15(日) 11:26:14.89 ID:X4wHD//v コラッツ予想がとけたらいいな その4 https://rio2016.5ch.net/test/read.cgi/math/1678365184/ http://rio2016.5ch.net/test/read.cgi/math/1734229151/3
4: １３２人目の素数さん [sage] 2024/12/15(日) 11:26:27.38 ID:X4wHD//v コラッツ予想 https://rio2016.5ch.net/test/read.cgi/math/1733980792/ http://rio2016.5ch.net/test/read.cgi/math/1734229151/4
5: １３２人目の素数さん [sage] 2024/12/15(日) 11:59:33.12 ID:9OHgjNk8 記念かきこ、ってやるだけムダよ。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/5
6: １３２人目の素数さん [] 2024/12/15(日) 12:22:16.17 ID:VN3nxi/R いや解けたと思うんだけど誰に見せればいい？ http://rio2016.5ch.net/test/read.cgi/math/1734229151/6
7: １３２人目の素数さん [sage] 2024/12/15(日) 12:29:15.54 ID:d1XhciIs 先生にコラッツ予想解けたんですけどって言えば http://rio2016.5ch.net/test/read.cgi/math/1734229151/7
8: １３２人目の素数さん [] 2024/12/15(日) 12:34:07.64 ID:VN3nxi/R 確かに 明日行ってくるわ コラッツ予想って解析と線形どっちの分野？ http://rio2016.5ch.net/test/read.cgi/math/1734229151/8
9: １３２人目の素数さん [sage] 2024/12/15(日) 14:39:38.40 ID:X4wHD//v 数学者も恐れる「ハマると病む難問」 解けたら1億円、企業が懸賞金 https://www.asahi.com/articles/ASP937HM6P8ZULBJ00T.html http://rio2016.5ch.net/test/read.cgi/math/1734229151/9
10: １３２人目の素数さん [sage] 2024/12/15(日) 16:29:38.87 ID:1YMo8jiS 数学誌の規定に沿って論文を提出する http://rio2016.5ch.net/test/read.cgi/math/1734229151/10
11: １３２人目の素数さん [sage] 2024/12/15(日) 16:33:28.73 ID:X4wHD//v それではアマチュアはどうすればよいのか https://www.hmt.u-toyama.ac.jp/chubun/ohno/dousureba.htm アマチュアがプロに認められるにはどうすればよいか、もうおわかりのことと思います。それは 「プロの指導を受ける」 これに尽きます。全くの独力でアマチュアが立派な業績を上げようとしても、独り善がりになるのは避けられません。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/11
12: １３２人目の素数さん [sage] 2024/12/16(月) 18:39:16.01 ID:YOu+4up3 >>8 結果は？ http://rio2016.5ch.net/test/read.cgi/math/1734229151/12
13: １３２人目の素数さん [sage] 2024/12/17(火) 16:35:25.74 ID:uZa7W3nt >>1 逃亡 http://rio2016.5ch.net/test/read.cgi/math/1734229151/13
14: １３２人目の素数さん [] 2025/03/03(月) 13:29:41.91 ID:SZZ7dyK/ A proof of the Collatz conjecture Toshiharu Kawasaki arXiv:2502.20642 http://rio2016.5ch.net/test/read.cgi/math/1734229151/14
15: １３２人目の素数さん [] 2025/03/03(月) 13:52:38.47 ID:SZZ7dyK/ インチキかと思ったが玉川大学工学部の先生 http://rio2016.5ch.net/test/read.cgi/math/1734229151/15
16: １３２人目の素数さん [] 2025/03/03(月) 15:06:34.39 ID:jcFac6Mr だから論文がインチキではないとでも？ http://rio2016.5ch.net/test/read.cgi/math/1734229151/16
17: １３２人目の素数さん [] 2025/03/03(月) 15:21:38.34 ID:V0fffIRT 間違いがあって撤回するのはどの研究者にも起こり得る http://rio2016.5ch.net/test/read.cgi/math/1734229151/17
18: １３２人目の素数さん [] 2025/03/03(月) 15:37:11.01 ID:jcFac6Mr 撤回しない人の方が多いかもしれない http://rio2016.5ch.net/test/read.cgi/math/1734229151/18
19: BLACKX ◆SvoRwjQrNc [sage] 2025/03/03(月) 17:42:11.37 ID:WaOW2VeF どんな空間使おうが1終息なら誰でも書けると思うんだよなぁ… http://rio2016.5ch.net/test/read.cgi/math/1734229151/19
20: １３２人目の素数さん [] 2025/03/04(火) 18:25:47.27 ID:Nps5hMSw スタートとゴールまでが必ず繋がってる迷路で中の人がゴールに辿り着かない様にするにはどの様な方法が考えられますか？ http://rio2016.5ch.net/test/read.cgi/math/1734229151/20
21: BLACKX ◆SvoRwjQrNc [sage] 2025/03/04(火) 19:10:19.63 ID:PV1Bx+xC ゴールABCが用意されていると1事象ではゴールできない http://rio2016.5ch.net/test/read.cgi/math/1734229151/21
22: BLACKX ◆SvoRwjQrNc [sage] 2025/03/04(火) 20:43:05.44 ID:PnbPVxvG みんなどれがループしたと言え起点に出来るとおもってんの？ 16→8→4(1F)→2(1F)→1(1F)→4(2F)→2(2F)→1(2F)→4(3F)→2(3F)→1(3F)→4(4F)→2(4F)→1(4F) http://rio2016.5ch.net/test/read.cgi/math/1734229151/22
23: １３２人目の素数さん [] 2025/03/06(木) 12:26:50.63 ID:fILnHGRL >>21 碁盤の目の様な迷路ならルート選択次第では辿り着かないと考えたのですが他のアイデアあれば書き込んで欲しいです。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/23
24: １３２人目の素数さん [] 2025/03/06(木) 13:26:14.39 ID:igB8id3+ >>14 なんかほんとに現れたｗ https://news.yahoo.co.jp/articles/c97f2dfa47ed3b31e5a1af145ab87012f9a6168d http://rio2016.5ch.net/test/read.cgi/math/1734229151/24
25: BLACKX ◆SvoRwjQrNc [sage] 2025/03/06(木) 21:57:37.53 ID:oYdPKQgD >>23 本スレで4~5年散々書き込んで来たので省略 私の書き込みスレを検索すれば内容いくらでも出てくるはずです 自分も４度リジェクト案件なので元になったアイディアを1つだけ （1.4） （2.4） （2.1） （4.1） （4.2） （1.2） （1.4）※ループ 自分の観点からこれをするにはディオファントス方程式に落とし込むしか方法無いと考えます。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/25
26: １３２人目の素数さん [] 2025/03/07(金) 05:13:00.83 ID:EQ5c7mc5 >>15 非常勤講師だ http://rio2016.5ch.net/test/read.cgi/math/1734229151/26
27: １３２人目の素数さん [] 2025/03/07(金) 07:23:26.59 ID:r6avM1wY >>14 まず、4ページ目のケース(5)で d(T^n x, T^{n＋1} x)^2 ≦ …… ≦ A^n d(x, T x)^2 を導出している場面がある。つまり d(T^n x, T^{n＋1} x) ≦ A^{n/2} d(x, T x) である。xとnに制限はないので、結局、ケース(5)の場合、 任意のx∈Xと任意のn≧1で上記の不等式が成り立つことになる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/27
28: １３２人目の素数さん [] 2025/03/07(金) 07:25:34.94 ID:r6avM1wY そして、コラッツ写像に対する不動点定理の適用もケース(5)なので、 実践の場面では単に d(T^n x, T^{n＋1} x) ≦ A^{n/2} d(x, T x) を適用すればいいだけである。論文の中では X＝N, d(x,y)＝｜x−y｜, A＝1/2 なので d(T^n x, T^{n＋1} x) ≦ (1/√2)^n d(x, Tx) となる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/28
29: １３２人目の素数さん [] 2025/03/07(金) 07:27:18.29 ID:r6avM1wY (1/√2)^n d(x, Tx) ＜ 1 が成り立つような n の範囲を求めると、 n ＞ log d(x,Tx) / log√2 となる。このとき d(T^n x, T^{n＋1} x) ＜ 1 である。 今回の設定では、d(x,y)＝｜x−y｜(x,y∈N) は非負整数の値しか取らないので、 d(T^n x, T^{n＋1} x) ＝ 0 となるしかない。 つまり、n ＞ log d(x,Tx) / log√2 のとき、T^n x はずっと定数になる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/29
30: １３２人目の素数さん [] 2025/03/07(金) 07:28:34.93 ID:r6avM1wY ところで、論文の中では T(x)＝ 1 (x＝1), x/2 (xは偶数), (3x＋1)/2 (xは3以上の奇数) と定義されている。特に x が3以上の奇数の場合を考えると、 d(x, Tx)＝｜x−(3x＋1)/2｜＝(x＋1)/2 なので、( log d(x,Tx) ) / log√2 ＝ ( log((x＋1)/2) ) / log√2 となる。すなわち、初期値 x ごとに、 n ＞ ( log((x＋1)/2) ) / log√2 ならば T^n x はずっと定数になる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/30
31: １３２人目の素数さん [] 2025/03/07(金) 07:30:01.16 ID:r6avM1wY T^k x ＝ T^{k＋1}x のとき、y＝T^k x と置けば、 T(y)＝T^{k＋1}x＝T^k x＝y すなわち T(y)＝y であり、 これを満たす y は 1 しかない。よって、初期値 x ごとに、 n ＞ ( log((x＋1)/2) ) / log√2 ならば T^n x ＝ 1 が成り立つことになる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/31
32: １３２人目の素数さん [] 2025/03/07(金) 07:31:03.62 ID:r6avM1wY 念のため、x ごとに n に関する追加の制限がないか確認してみたが、 そんなものは無いように見える。つまり、本当に n ＞ ( log((x＋1)/2) ) / log√2 のとき、T^n x ＝ 1 が成り立つことになる。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/32
33: １３２人目の素数さん [] 2025/03/07(金) 07:33:53.05 ID:r6avM1wY ここまで来れば具体的に検証可能で、プログラムを組んで検証してみると、 反例がたくさん出てくる。たとえば x = 77031 の時点で成り立ってない。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/33
34: １３２人目の素数さん [] 2025/03/07(金) 07:36:00.63 ID:r6avM1wY もし論文の内容が正しいなら、 n ＞ log((77031＋1)/2) / log√2 (≒30.466…) のとき T^n x ＝ 1 になってるはずで、特に T^31 x ＝ 1 のはずだが、 実際には T^31 x ≠ 1 であり、実は221回目で初めて 1 になる。 つまり T^220 x≠1 かつ T^221 x ＝ 1 である。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/34
35: １３２人目の素数さん [] 2025/03/07(金) 07:41:36.72 ID:uuj0ibIx ご覧のとおり、「31」と「221」では数値が剥離しすぎている。 論文中のどこかで定数倍を忘れている可能性もあるが、 だとしても結局はオーダーが log(x) にしかならないので、だいぶ怪しい。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/35
36: １３２人目の素数さん [] 2025/03/07(金) 07:43:57.98 ID:uuj0ibIx コラッツ写像では、 「初期値 x の大きさに比べて、1に到達するまでの回数 n がやたらとデカイ」 という現象がたびたび起きる。最も有名なのは x＝27 である。 それなのに、この論文が正しければ、n はせいぜい log(x) の オーダーにしかならないという。さすがに それは無いだろう。 http://rio2016.5ch.net/test/read.cgi/math/1734229151/36
37: １３２人目の素数さん [sage] 2025/03/08(土) 20:52:39.91 ID:X8XRsZbE もっともなご指摘だと思います 著者の反論が見たいです http://rio2016.5ch.net/test/read.cgi/math/1734229151/37
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s