今日の献立 - 1141965756 - したらば掲示板

372：のろうゐるす：2013/08/13(火) 08:31:29: 正規作用素 T が与えられたとき、いつ
{ T^k T^{*l} : k,l ≧ 0 } が線形独立となる(*)
かを調べてみた。
(0) 問題はスペクトラム σ(T) にのみ依存。
(1) ￢(*)なら、dim span{ T^k T^{*l} : 0 ≦ k,l < n } は n に関して１次の増大度。
∵　非自明な一次関係式をひとつ固定して、ゼロでない項のうち辞書式順序で
　　一番大きいものを(K,L)とすると、上の線形空間は(K,L)を角とする L 字型
　　の部分を考えれば十分である。
(2) σ(T) が直線あるいは円周ならば、￢(*)。
(3) pがzと\bar{z}の多項式のとき、Tが￢(*)ならp(T)も￢(*)。
　　逆に、pがzの多項式のとき、p(T)が￢(*)ならTも￢(*)。
(4) T_i たちが￢(*)なら、T_1 \oplus \cdots T_n も￢(*)。
∵2-4　次元増大度が１次。

纏めると： σ(T)が直線、円周、その多項式の像、正則多項式の逆像、それらの有限和
に含まれるとき、￢(*)。一方で (*) の十分条件は、

(a) σ(T)が次の条件を満たすなら、Tは(*)を満たす。
　　任意の N に対して、半径の異なるN個の同心円周C_1,...,C_Nが存在して、
　　|σ(T) ∩ C_i | ≧ N for every i を満たす。
∵　線形関係式の添え字を適当に整理してVandermondeを２回使う。
(b) σ(T)がLebesgue測度正なら、Tは(*)を満たす。
∵　Lebesgue density theoremより、(a)が適用可。

ふむう。(*)をきれいな条件で特徴付けるのは無理と見た。
373：のろうゐるす：2013/08/13(火) 08:38:03: とにかく、以上のことより、L^2(D)上の掛け算作用素 T := M_z は
任意のゼロでないベクトル v に対して T^k T^{*l} v が線形独立になるから、
banded operatorにユニタリ同値とはならないのだよ。(>>370)
374：名無しさん：2013/10/09(水) 17:58:12: http://sym.math.ku.dk/calendar/index.cgi?action=show_event;relmonth=0;id=2673
375：のろうゐるす：2013/10/09(水) 18:43:50: Fが従順かどうかを知るために生成元の和のノルムを計算機使って評価しようって話か。
しかし、従順だとしてもFolner集合が超巨大になるってムーアの結果もあるし、よっぽど
いいアイディアがない限り、計算機使ってもいい予測は立てられないんじゃないか？
376：MMR：2013/10/09(水) 19:01:46: >>374
ほえるっぷ姓が他にもいるんですね。血縁関係なのでしょうか。
うふぇはＦ非従順に傾いているといううわさを聞いてましたが、
はっきりその立場が書かれてますね。
377：のろうゐるす：2013/10/17(木) 09:39:12: 悪目途府のshort proofが出たね。さて何日持つことやら。
378：さとう：2013/10/17(木) 13:07:45: 数学なのにシーソーゲームみたいで面白いですね。
379：のろうゐるす：2013/10/21(月) 09:43:07: 悪目途府では力不足なのだろうが、例えば宗麟ぐらいのパワーと執念があれば、帰趨の
定まっていない数学的事実を自らの信じる方に引き寄せることが出来るのかもしれんぞ。
http://arxiv.org/abs/1310.4862
ロートハウス研究所の集まりの成果がまた出たのか。可算一次飽和なんて当たり前の
ことだと思ったが、やっぱり概念をはっきりと提示されると使いやすくて便利だね。
380：さとう：2013/10/22(火) 08:53:05: 偉い人がまとめてくれると安心感があります。
381：まただよ：2013/10/31(木) 12:31:37: 1310.8055 -- 大丈夫かなぁ？
382：のろうゐるす：2013/11/14(木) 10:44:40: http://arxiv.org/abs/1311.2982
可換従順作用素環はC*環に同型という予想は、これまでに複数の研究者が解決したと
主張してきたがみな間違っておった。著者の丸９は（真っ当な研究者だけど）以前に
同じ主張をして９レレに論文を載っけちゃった前科者だけに、今回はどうなることやら。
383：さとう：2013/11/14(木) 12:34:11: 丸９さんって、トレース零元がいくつの交換子で表せるか数えてた人ですよね。こういう事を目指してたのか。
384：のろうゐるす：2013/11/14(木) 21:26:46: >>382 証明確認！驚いたよ。ホント。
385：さとう：2013/11/15(金) 09:05:32: 確認早いなー。一番のポイントはなんでしたか？
386：のろうゐるす：2013/11/15(金) 09:54:43: 昼過ぎに本人がプレプリ送ってきたから読んでみた。ポイントはよく分かんない。
可換Banach環Aが可換C*環の部分環になる必要十分条件は、定数 C があって、
任意の s in A に対して || s ||^2 ≦ C || s^2 || が成り立つことっていうのを
使うんだけど、この条件は従順性から出てきた式をグルグルぐるぐる回すとなぜか
出てくる。？。初等的だ。
387：さとう：2013/11/15(金) 10:14:31: ぐるぐるって、全然初等的じゃないですよ。
388：みーしゃ：2013/11/15(金) 23:48:23: きっと魔方陣ぐるぐるだ！
389：さとう：2013/11/16(土) 15:55:30: 酔っぱらいながら書き込まないでください！
390：のろうゐるす：2014/01/07(火) 10:52:05: http://arxiv.org/abs/1401.1186
まあ俺もそうだろうとは思っていたが、無慈悲に示されてしまったね。
391：のろうゐるす：2014/01/07(火) 15:40:57: そういや俺は自分で投稿した論文で初めてrejectを喰らったよ。
http://arxiv.org/abs/1312.5431
証明が余りにも短くtrivialなことに感動したので格調高い雑誌に出したら、
great observationだけどsubstantialじゃないねって言われた。
392：みーしゃ：2014/01/07(火) 17:36:56: 帰省したら風邪を引いてしまいましたよ…．
こっちに帰って来たら室温は０度で，
ストーブで５度まで上げるのに一時間かかりました．
当然風邪はよくならず…．
393：さとう：2014/01/07(火) 21:12:08: ある先生の弟子の方も今日なんだか体調が悪いと言ってましたよ。
師匠はそんな具合の悪い人に酒を勧めていましたが…．
394：のろうゐるす：2014/01/13(月) 10:47:28: 俺がmathoverflowでした質問が論文になった。
http://mathoverflow.net/questions/137678/
http://arxiv.org/abs/1401.2202
これでさらにアクセス数を稼いで金バッヂを貰えるかも。ほう。
395：さとう：2014/01/14(火) 09:27:24: 金とか銀ってアクセス数なんですね、
難しい問題解いたら貰えるものだと思ってました。
396：のろうゐるす：2014/01/23(木) 15:24:41: http://arxiv.org/abs/1401.5711
もう十年以上たつのにまだインチキ繰り返してたのか。
詐欺的行為で賞を貰ったり昇進したり今度のicm講演者に
選ばれたりといい加減にしてくれんかね。
397：さとう：2014/01/23(木) 17:20:31: たしかに非道いですね。もしかして、そのインチキな主張が本当だったら、
自由群の von Neumann 環の問題が解けたりするんですか？
398：のろうゐるす：2014/02/04(火) 17:21:48: >>396 反論が出たね。何がナンらや分からなくなってきた。
http://arxiv.org/abs/1402.0482
しかし、イントロの最後のコメントはナンなんだ？
399：まことふ：2014/02/04(火) 17:55:26: 自分に跳ね返ってきたらまずい事はするなってこと？
全面戦争ですね。
400：のろうゐるす：2014/02/04(火) 18:40:40: 最後のコメントを素直に読むと、お互いの論文は誤謬、不正確、誤植等を多数含んでいる
（つまりガラスの家）だから、それを事細かに指摘する（つまり石を投げ合う）ような
マネはよそうぜと言っているように読めるのだが？ふむう。
401：名無しさん：2014/02/17(月) 18:30:06: http://sym.math.ku.dk/calendar/index.cgi?action=show_event;relmonth=0;id=2810
402：のろうゐるす：2014/02/17(月) 22:14:20: まあTとVは自由群を含むし、なんとなく堅そうだから、non-inner amenableであってもおかしくないな。
403：たれこみ：2014/05/21(水) 19:00:14: http://arxiv.org/abs/1405.5076

これ結構な仕事と思う．詳細は確認してないけど．
著者は京都にいる人らしいのに更にビックリ！
404：たれこみ：2014/05/21(水) 19:00:24: http://arxiv.org/abs/1405.5076

これ結構な仕事と思う．詳細は確認してないけど．
著者は京都にいる人らしいのに更にビックリ！
405：のろうゐるす：2014/05/21(水) 21:34:46: ほう。太田さんのところにいる人だね。何度か会ったことあるよ。
406：のろうゐるす：2014/05/22(木) 11:56:20: >>391
http://mathoverflow.net/questions/154431/how-feasible-is-it-to-prove-kazhdans-property-t-by-a-computer
SL(3,Z)の(T)がコンピュータで証明できた。本丸のAut(F_d)がうまくいったら、
俺もなんか貰えるかもな。ほうほう。
407：のろうゐるす：2014/05/22(木) 18:34:32: ちなみに火事団定数はだいたいスペクトルギャップの２乗根だから、
これまでの1/1000くらいから1/16にまで改善されたことになる。
1/3が自明な上限であることを考えると、かなり良いと言える。
408：さとう：2014/05/23(金) 00:08:43: コンピュータの証明？全く想像できません。
だってSL(3,Z)って無限集合じゃないですか。
409：のろうゐるす：2014/05/23(金) 08:48:41: ほう。人間に出来るのであれば、コンピュータに出来たって何も不思議はあるまい。
410：みーしゃ：2014/05/26(月) 13:50:39: トロントなう。
411：Rui：2014/05/27(火) 18:12:28: Happy Monday はもちろん barVolo 行ってきました。
時差ボケのため、時間が経つにつれて目が冴えてきてなかなか酔えませんでした。
412：さとう：2014/05/29(木) 05:11:03: ここはプレプリントの掲示板ですよ。二人ともかなり酔っぱらってるな。
413：のろうゐるす：2014/05/29(木) 18:34:25: ほう。その通り。二人は罰としてボトルを持ち帰りKOASに上納すること。
414：Rui：2014/05/30(金) 12:55:16: LCBOで上納酒を買いました。
415：のろうゐるす：2014/06/17(火) 09:58:30: >>403-404 間違いが見つかったのでとりあえず撤回。
http://arxiv.org/abs/1405.5076
416：のろうゐるす：2014/06/17(火) 09:58:47: >>403-404 間違いが見つかったのでとりあえず撤回。
http://arxiv.org/abs/1405.5076
417：たれこみ：2014/06/17(火) 13:44:08: 気がついてなかった．サンクス．その道の専門家の（数値計算も加えた）予想と反しているから慎重にやるべき話．
418：のろうゐるす：2014/08/12(火) 16:54:25: http://arxiv.org/abs/1408.2188
ほうほう。非従順であったか。
mathscinetにアクセスできないので、著者らの信頼性が分からん。
419：まことふ：2014/08/12(火) 17:33:15: 一人目の方は結構良い雑誌に出してるみたいね。
420：さとう：2014/08/12(火) 20:29:48: ICMに合わせて出したというのは自信あるんだろうな。
421：みーしゃ：2014/08/13(水) 12:05:29: どうでもいいが，昨日レディーガガとニアミスだった．
荷物がもっと早く出てくれば見えたろう．
422：さとう：2014/08/14(木) 18:15:31: だから、ここはプレプリントの掲示板ですって、しっかりしてください。
423：MMR：2014/08/14(木) 22:15:40: >>418
沌不損甲子園開幕ですね。非従順は何年ぶり何回目の出場ですかね。
424：のろうゐるす：2014/08/18(月) 14:47:25: >>418
http://marksapir.wordpress.com/2014/08/16/another-false-proof-of-nonamenability-of-the-r-thompson-group-f/
だそうだ。
425：みーしゃ：2014/08/18(月) 15:50:31: 敗退の模様ですね．
426：のろうゐるす：2014/09/01(月) 15:16:02: >>418の敗者復活戦が始まった模様。
427：MMR：2014/09/01(月) 23:30:39: >>426
本当ですね。。例の軟式やきうに刺激されたのでしょうか。
428：たこ：2014/09/10(水) 02:33:08: >>426 差比亞blog色々更新されてますね。
429：のろうゐるす：2014/09/15(月) 12:40:12: CS改訂論文はcmpに掲載予定って書いてあるけど前作同様ダメっぽい。
II_1型因子環のときですら「Mが通常の定義で禿げていたら、状態変化を
起こしても禿げたまま」が本当に成り立つかどうか不明。週末に丸一日
考えたがよく分からんかった。ふむう。本人たちに連絡しておいたから、
俺はもういいや。
430：のろうゐるす：2014/09/16(火) 15:35:07: しかし気になったので、さらに頑張ってみた。なんとかなるみたいだ。ほうほう。
LA出張前でP派の最新論文を読んだり、その他もろもろで忙しいのに何やってんだろう。
431：のろうゐるす：2014/09/17(水) 10:01:25: http://arxiv.org/abs/1409.4745
IRS関連はまったくフォローしてないのだが、重要な問題が簡単に解けているように見える。
この辺は間違いやすい分野だと思うが、さてはて。
432：のろうゐるす：2014/10/10(金) 09:35:50: http://arxiv.org/abs/1410.2518
いつ被約群環が単純になるか跡が一意かというトピックを丸ごと焼け野原にする論文を書いたよ。
離散群に限っていえば>>431の一般化にもなってる。ほうほう。
433：のろうゐるす：2015/03/19(木) 10:12:05: ほうほう。二個羅衛府が書いた本がarxivに出ておるぞ。なんか文献表を見ると彼の
論文はそれなりに出版されているようだ。査読システムに不安を抱くわい。これまでに
俺が読んだ論文はいずれも、ジャーゴンの寄せ集めに過ぎず、多量の間違いと少量の
trivialに正しいことからなっておった。気になって一番最近の跡コホモロジの論文も
見てみたが、安定的C*環上の跡状態を扱う話だ。ふむう。そもそも背れC*環がどう
定義されているのかもあやふやだ。
434：さとう：2015/03/19(木) 18:33:12: 本を出版したら、なんだか信頼されている人の様に見えますよ。
ところで、今年の中国は Google につながりません。助けてください。
435：のろうゐるす：2015/03/19(木) 20:12:05: ほうほう。俺は北京トランジットを頻繁にするけど、去年からずっと繋がらないよ。
二個羅衛府は写像類群が線形であることを示したとか未だゐってんだ(本の5.4.1)。
証明は、いろんな対応がカノニカルに定義出来て、それがあれやこれやを満たす
というお決まりのパターンだ。ひゃっはー。
436：まことふ：2015/03/19(木) 21:54:33: >>433
H大とH大からも出してますね。

>>434
ニコ様はもう2冊本を出してる専門家ですよ。
437：のろうゐるす：2015/04/02(木) 10:01:26: http://arxiv.org/abs/1504.00092
ほう。acknowledgmentが興味深いな。インドだし複数形の方がいいんじゃないか。
438：まことふ：2015/04/02(木) 11:47:10: そもそもまだ夏じゃないっていう。
それぞれ個人が信仰するのはどれかひとつの神ってことですかね。
439：のろうゐるす：2015/04/14(火) 09:32:06: Notice 5月号にSchwatrz追悼記事が出てるけど、vN環についての業績が結構詳しく紹介されてる。
筆者は知らない人物だけど、自由積vN環を最初に導入した人物だった。追悼記事に自分で書いてる。
440：まことふ：2015/04/14(火) 19:11:16: そこΓのフォントが変だね。
441：たれこみ：2015/05/14(木) 09:35:34: なんかすごいのが出てる
442：のろうゐるす：2015/05/14(木) 09:46:52: うむ。同型問題等々、何もかも解けたな。ICC従順群はuniqueなのであろう。
443：まことふ：2015/05/14(木) 12:16:42: うわわ。これで100万ドル問題も全部まとめて頂きだね。
444：さとう：2015/05/15(金) 00:51:51: STAP細胞を見ているような気分になります。
445：キバヤシ：2015/05/15(金) 10:07:20: 何もかも仕組まれていたんだよ！！
446：まことふ：2015/09/07(月) 17:18:45: arXiv:1509.00072
色々絶好調だな。なんでOAに・・・。しかも就職できたのか？
https://www.usherbrooke.ca/mathematiques/les-mathematiques/cercle-mathematique/equipe/
447：まことふ：2015/09/18(金) 17:52:35: またすごいのが出たね。自分の本の書名ぐらいちゃんと書けよ・・
1509.05187
448：のろうゐるす：2015/09/18(金) 21:15:14: >>447
誰も読まない教科書をたくさん書いた人ね。今回の内容もtrivialな
事実を独自のnotationを用いて難しく証明してるに過ぎない。
449：のろうゐるす：2015/09/29(火) 09:50:41: http://arxiv.org/abs/1509.08318
QDQのプレプリが出たぞ。これで分類理論は（UCTを除いて）終わりだな。
後はいくらやっても、もう注目を浴びるような結果は出ないんじゃないか。
作用素環論はテーマが何もなくなってしまった。これを機会に他分野との
交流をもっと模索するといいと思うよ。
450：さとう：2015/09/29(火) 12:16:35: full ではないけど相対的なデルタ-full なら切り抜けられる
という部分が難しくて、僕にはついて行けませんでした。
451：みーしゃ：2015/09/29(火) 22:00:19: >>449 そうっすね。
452：チロルチョコ：2015/10/02(金) 21:13:15: 自由群の同型問題がまだ残ってる。
453：みーしゃ：2015/10/02(金) 22:28:36: >>452 そうっすね。
455：のろうゐるす：2015/10/15(木) 15:18:01: http://arxiv.org/abs/1510.04223
ほうほう。グロの定理が驚くほど簡単に示せたぞい。
FAにクロスポストしたはずがなぜかRTに行ってしもうた。
あと、FAに出てた河津・旗見はかなりトリビアルな話。
より一般的な定理を2頁で示せるよ。本人たちに連絡しておいた。
456：名無しさん：2015/10/17(土) 12:29:21: >>455
GT のアレですか。48ページもあったのに。。
モフの定理の別証明ができたのですか！？タイトルにFA的とあるのに
RTに行っちゃうんですね。
457：まことふ：2015/11/09(月) 15:56:46: 丸聖油のまとめ（今週はブリュッセルに来るので週末は街に泊まっていた）。
1. 食については研究所でも街中でも充実していた。週単位でみたら今までで一番よかったかもしれない。
　ただ，港に近い所のレストランは週末は予約が必須のようだ。それとも身なりが悪くてやんわり断られたんだろうか？
2. 逆に飲む方はかなり残念。集会中はベル乳が買ってきた普通のビール250ml瓶（1€）2種類しか選択肢がなく，
　バンケットで出たワインも正直?だった。今度行く機会があったらちゃんと自分で持っていこうと思う。
458：まことふ：2015/11/09(月) 16:08:17: あれ，談話室に書いたつもりだったのに献立コーナーに出ちゃったぞ。
459：のろうゐるす：2015/11/09(月) 16:53:18: １．CIRMの食はカネ次第だ。主催者がきちんとカネを払うとちゃんとした食事に、
ブイヤベースやラクレが用意される。カネがないと、卵料理しか出てこない。
以前、ブイヤベースを食いたい奴は追加料金を払えと言われたことがあった。
２．昼休みか夜に小一時間歩くかバスに乗ってhypercasinoに行けばいいんだよ。
461：のろうゐるす：2015/12/17(木) 10:16:57: http://arxiv.org/abs/1512.04585
かなりどうでもいいことだが、作用素論研究者にはキッタネーさんの他に
ハヤイネーさんもいて、ハヤイネー・キッタネーで共著論文を書いてることを知った。
462：さとう：2015/12/24(木) 12:55:20: 失礼だけど、お笑いコンビみたいですね。
463：まことふ：2016/01/19(火) 19:42:40: http://arxiv.org/abs/1508.03202
どんどんページ数が増えてくね。
464：まことふ：2016/02/15(月) 13:25:21: コメントがすげえ。
http://arxiv.org/abs/1412.2981
465：たれこみ：2016/02/16(火) 11:35:45: お，戻って来た！？
1602.04726
466：まことふ：2016/02/16(火) 16:33:43: LinkedInだとデータ解析？会社に勤めてることになってますね。
467：のろうゐるす：2016/02/18(木) 15:40:10: >>465 いい結果だが、８年隠遁して同型問題を解いたとか、そーゆーのじゃないようだな。
>>466 ほう。そんなもので追跡できるのか。
468：まことふ：2016/03/02(水) 15:43:50: ハゲ先生のやつついに出版されたんですね。
469：のろうゐるす：2016/06/18(土) 22:27:28: http://arxiv.org/abs/1606.03140
散れる損の問題を解いたとの主張だが、これは間違いであって、実は数学的には
それほど関係ない。散れる損の問題は口語的に言えば、２人の独立した観測者の
間の量子相関に関する２つの異なる定式化（可換作用素族かテンソル積か）が
実は一致するか否かというものだ。上の論文がこの問題を否定的に解いているのは
間違いないが、散れる問題は２つの定式化の差異が彼の設定（散れる不等式）で
現れるかというものであり数学的には自由（積）群を使って定式化されている。
上の論文の内容は、より複雑な問題（群）を扱ったときには２つの定式化に確かに
差異が存在するというものであり、散れる問題そのものについては何も言っていない。
特に今野埋め込みとは何も関係ない。使われてる数学の現象もありきたりのものだ。
470：のろうゐるす：2016/07/06(水) 16:59:56: >>469 俺の勘違いだった。散れる問題のオリverに対する否定的な回答になっている。
でも今野埋め込みとは関係なさそう。
471：まことふ：2016/07/13(水) 18:31:58: British Journal なのに半分ぐらい中国人か。しかもBritishの意味がほとんどないっていう。
http://sciencedomain.org/journal/6/editorial-board-members
472：まことふ：2016/07/13(水) 18:36:48: 間違えて献立に書いちゃった。とにかく，なんとなくだけどレフェリーするのも危ない気がするね。
473：豆知識：2016/08/04(木) 00:18:54: 今日の最初の講演者かな？
1608.00914
474：みーしゃ：2016/08/04(木) 10:05:50: ビミョーな違いですな
475：のろうゐるす：2016/08/17(水) 17:37:43: >>275で得られた評価 ω<2.372873 を2.3728639に改良（1401.7714）した人は
京大の特定准教授だった。量子計算でも有名な人らしい。明日ちょっと会ってくる。
476：のろうゐるす：2016/10/04(火) 11:48:09: https://arxiv.org/abs/1610.00111
任意のvN環 M ⊂ B(H) と v, w ∈H に対して、
inf{ || pv ||^2 + ||(1-p)w||^2 : p ∈ Proj(M') }
≦ || ω_{v,w}|_M ||
が成り立つかどうかという問題。
今野埋め込み予想が正しければ、正しいそうな。ふむう。
Arveson辺りを当たれば全面解決するんじゃないか？
477：のろうゐるす：2016/10/05(水) 08:00:32: ほうほう。II_1型のときは、a,b∈M_+に対して
τ(|a^{1/2}b^{1/2}|) ≧ inf{ τ( ax + b(1-x) ) : x∈M, 0≦x≦1 }
が成り立つということだが、よく分からんね。
誰か知ってるんじゃないか。ふむう。
478：のろうゐるす：2016/10/05(水) 11:55:06: 単なるパワスタ不等式だったね。右辺はτ( a^{1/2}b^{1/2} )で抑えられる。
全面解決しちった。
479：のろうゐるす：2016/12/18(日) 20:12:58: https://arxiv.org/abs/1612.00003
2週間ほど前の話になるが、Haag追悼論文。
しかしYuji Tomitaっていったい。
俺が指摘するのは憚られるな。
480：みーしゃ：2016/12/20(火) 15:25:14: なぜにYuji?
481：まことふ：2016/12/20(火) 18:59:42: 数理物理で Yuji T* と言えば超弦理論の人がいましたね。
482：みーしゃ：2016/12/20(火) 20:18:37: うんうんそうだネ、だからしょうがないよね…。

だが違う！！
483：まことふ：2016/12/24(土) 15:56:04: 一個査読を送ったら3時間後に別の依頼が来た。ヒェー
484：みーしゃ：2016/12/24(土) 23:01:59: メリークリスマース
485：のろうゐるす：2017/01/12(木) 17:45:02: https://arxiv.org/abs/1701.02180
TWW定理の簡単かつconceptualな証明。ほう。めでたい。
以前に似たような状況に出会って不思議だなと思ったことが
あったのだが（arxiv:1010.1214のProp 8.3）、ExtとかUCTとか
アタマになかったから、そのまま忘れていたよ。
486：さとう：2017/01/13(金) 01:59:46: 本当に、簡単かつconceptualな証明だと思われるんですか？からかわないでくださいよ。
487：のろうゐるす：2017/01/13(金) 10:26:49: ほう。さとうは厳しいのう。
488：のろうゐるす：2017/08/17(木) 09:47:47: 数日前の話になるが、P≠NP問題が解けたんだってな。
https://arxiv.org/abs/1708.03486
著者は結構な実力者で論文はちゃんとした体裁をしているらしい。
きちんと書かれた（しかし間違っている）証明に間違いを見つける
ことはNP問題だけど、指摘された間違いを確認することはPらしいよ。
489：!!：2017/08/17(木) 19:10:48: 解けてたら本当にすごい! 誰か周りに(国内に)解説してくれる人出てこないかなぁ？
490：のろうゐるす：2017/08/18(金) 07:45:15: たまたまOberwolfachに関連研究者が集まってたので、もうバグが見つかっているらしい。
https://www.mfo.de/occasion/1733/www_view
（穿った見方をすれば、この研究集会にぶつけてarxivに投稿したということかも。）
ともかく、こうした話によくあることとして、修復不可能なバグなのであろう。
491：!!：2017/08/18(金) 15:02:22: な～んだ．さすがにあのレベルの問題はそうは簡単に解けないのか．．．
492：のろうゐるす：2017/08/24(木) 16:51:46: ぴちょが来た。10か月間ほど京都に滞在する。
493：みーしゃ：2017/08/29(火) 13:40:50: あ，こっちの板だった．

叩き起こされた．僕のうちは頑丈じゃないと思うな．
494：まことふ：2017/12/16(土) 16:08:24: 編集部からのコメントがすごい。
http://www.ems-ph.org/journals/show_abstract.php?issn=2308-2151&vol=4&iss=2&rank=3
495：のろうゐるす：2017/12/16(土) 16:46:09: そんなことより今日の朝日新聞一面トップだよ。もっと驚いたのは
ご本人（自称）のブログだよ。もっともらしくできているが本当の
本当に本人なんだろうな。
496：まことふ：2017/12/16(土) 21:37:22: しかし誰に裏を取ったんでしょうね。本人は取材拒否って書いてあるし。
497：のろうゐるす：2017/12/16(土) 23:31:51: ふむう。事の真偽はさておき、朝日の一面トップなんだからさすがにちゃんと
したスジからの情報なんだろうよ。とは言えちゃんとしたスジからの情報でも、
素人には機微の分かりづらい話だから、伝言ゲームの結果あちゃーってことに
なるのもママある話。というわけで事の真偽はともかく、どのスジかについて
も大体の目星は付くけど、ここで俺の穿った見方を披露するのは憚られるな。
498：みーしゃ：2017/12/18(月) 15:41:15: ログ・テータ秀逸
499：のろうゐるす：2017/12/21(木) 13:24:47: >>406 周りの人には任せておけないので、自分で何とかしてみた。
というか何とかしてくれそうな人たちを見つけたのでお願いした。
大変な仕事は全部プログラマがやってくれたので、俺は楽チン。
https://arxiv.org/abs/1712.07167
500：のろうゐるす：2018/01/04(木) 11:09:17: おや。すごい結果が出たね。ランダム置換行列は強自由。
https://arxiv.org/abs/1801.00876
[HT]の置換行列版だ。これで残っている重要な類似予想は、
単純コンパクトLie群 K (例えばPSU(2))のランダム元 g_1,...,g_d を
固定したとき、(\pi_n(g_1),...,\pi_n(g_d)), n \to \infty, は強自由か？
ここで \pi_n は既約表現の列。
501：まことふ：2018/01/18(木) 16:56:39: ついに2個やんがsubfactorに進出してきたよ。必要条件と十分条件の違いを理解してないのかな？
ゆくゆくは貼゜る苦ーとバトルしちゃったりして。
502：みーしゃ：2018/02/23(金) 13:17:58: そういや岡潔のドラマは今晩だったわ．
503：のろうゐるす：2018/03/16(金) 10:21:32: https://arxiv.org/abs/1803.05862
ほう。Lehmer予想はまだ未解決ということになってるね。
去年の9月のやつはダメだろうという見通しなのかな。
まあ、俺の興味ある分野じゃないけど。
505：ななし：2018/05/23(水) 18:01:00: 1805.08279
久々にパッと見て興奮したよ，さてプリントアウトして見てみよう．
506：のろうゐるす：2018/08/07(火) 13:02:30: あ～、きっと査読を依頼されるんだろうなあ。断る言い訳を用意しておこうっと。
507：のろうゐるす：2018/08/14(火) 10:06:41: https://arxiv.org/abs/1808.04254
ほう。この意味の分からなさがすごい。昔、UCLAにいたときにアマゾンで
本を買ったら、間違ってlinguisticの専門書が届いてしまい返品不要と言われた
のでずっとオフィスにおいておいたのだが、その本のことを思い出したよ。
そこはかとなく数学っぽい奇妙な理論が展開されておったのう。
508：のろうゐるす：2018/09/07(金) 10:25:24: https://arxiv.org/abs/1809.01881
von Neumann環論で\ell_\infty/c_0のsecond dualなんてものを
効果的・本質的に使う機会があろうとは。
509：のろうゐるす：2018/10/30(火) 10:40:25: >>508はsecond dualは完全にとは言わないが大体要らなくなった。ほう。

強あちゃ～予想に新機軸。とりあえず読んでみるか（時間と能力があれば）。
https://arxiv.org/abs/1810.12135
510：のろうゐるす：2019/01/08(火) 15:29:31: ほう。x2x3予想にはある意味構成可能な反例が存在するかもしれないのか。
https://arxiv.org/abs/1901.01452
貴重な情報だが、こうした実験データをarxivで公表したということは
本人や周りの人たちはこの路線での解決を既に諦めたということかしら。
511：名無しさん：2019/01/30(水) 19:55:56: https://arxiv.org/abs/1901.08807v2
あちゃー。
512：まことふ：2019/01/31(木) 08:10:39: こういう時に人のせいにして潔く負けを認めないのは見苦しいよね。
そもそもV氏を引用してる部分がうまくいってたとしても実係数のところはダメダメだし。
513：まことふ：2019/01/31(木) 10:49:11: 内容はどうでもいいけど，著者名の表記（PDFまで行かないと見れないよ）がイケてる。
https://www.sciencedirect.com/science/article/pii/S0252960214601053
514：のろうゐるす：2019/01/31(木) 12:47:34: >>513 片方は俺の知り合いだ。
比慈恵の弟子か孫弟子みたいなもののはず。
漢字で書いても名姓の順なのね。
515：まことふ：2019/04/23(火) 00:28:24: >>511
李康子が外された上に迷走は続く。
516：のろうゐるす：2019/04/24(水) 09:42:36: ほうほう。著者はチェスのGMなのか。すげえな。
517：ま：2019/07/03(水) 05:13:58: すごい進展があったらしい。
https://www.scottaaronson.com/blog/?p=4229
518：のろうゐるす：2019/07/04(木) 08:52:30: 論文自体は誰でも読めるくらい簡単だね。
アー論損の言う通りP≠NPの証拠だね！
519：のろうゐるす：2019/10/31(木) 10:55:35: https://arxiv.org/abs/1910.13926
話の流れに関係ないから除外されたのかもしれないが、
Baton-Rougeで報告されたrelated breakthroughsで当時
最も反響が大きかったのは力因子環だと思うぞ。ほう。
520：のろうゐるす：2020/01/09(木) 17:09:05: ２，３か月前から聞いていたけど、ついに解決のアナウンスがあったようだ。
https://secure.math.ucla.edu/seminars/display.php?&id=833852
521：名無しさん：2020/01/11(土) 01:02:07: まじかー　プルプルッ
522：かかし：2020/01/11(土) 13:08:55: KSといい，これといい，作用素環の枠内の問題だけど，枠外で解くのが
自然ということかぁ．　

難しい時代に入ってきているんだね．
523：のろうゐるす：2020/01/14(火) 13:20:27: https://arxiv.org/abs/2001.04383
出た。5月のNCGOAまでに読むのは無理そうだな。
524：のろうゐるす：2020/01/30(木) 11:09:44: 羅怒烈駆がやってた問題がついに解けたぞ
https://arxiv.org/abs/2001.10956
著者はこの問題の解析方面の大家（御年80代？）か。ふむう。
525：みーしゃ：2020/02/01(土) 23:48:23: うーん。
526：のろうゐるす：2020/04/30(木) 12:26:44: https://arxiv.org/abs/2004.14115
今ヌがoperator systemにC*-envelopeか。
計算できることがたくさんでもあるから、
この宣伝で一時的に流行るかもね。ほう。
527：名無しさん：2020/04/30(木) 12:50:39: まだ作用素環やってるんだね。
528：のろうゐるす：2020/05/20(水) 10:07:20: ついに馬荷貨さまが比丘皿にいっちまったというタレコミがあった
529：まことふ：2020/05/21(木) 21:51:10: 三連チャンでちょうど200ページが続いてるんだね。
530：名無しさん：2020/05/27(水) 13:14:16: >>524は案の定、チーン
531：みーしゃ：2020/05/28(木) 10:27:47: ポクポクポク
532：のろうゐるす：2020/08/26(水) 10:41:41: https://arxiv.org/abs/2008.10643
この論文の当否は別として、写像類群はやはり(T)なんじゃろうか？
533：のろうゐるす：2020/09/25(金) 12:33:48: https://arxiv.org/abs/2009.11139
von Neumannがspectral gap（現在から見れば）について
仕事をしていたとは知らなんだ。しかも確率論的議論で
spectral gapを持つ作用素の存在を示していたとは。ふむう。
534：のろうゐるす：2020/12/02(水) 10:20:36: https://arxiv.org/abs/2011.14232
なんか偉そうな人たちが集まって面白い（？）ことをやっとるな
535：たれこみ：2020/12/03(木) 17:46:49: >>532 ダメだったみたいだね。ち～ん。
536：のろうゐるす：2020/12/08(火) 17:54:07: https://arxiv.org/abs/2012.03689
御年94歳。oberwolfachの研究所入口で売ってる絵葉書のひとつに
御大を主役とした60年前に研究所で取られた写真があることも
あって、2018年に作用素空間集会でoberwolfachに行ったときは、
その前の週の参加者にいたということが話題になったものだ。
537：さとう：2020/12/09(水) 19:01:18: ギネスに載りそうですね。
538：名無しさん：2020/12/10(木) 18:32:06: また一つ焼け野原になってしまったネ。プルプルッ
539：のろうゐるす：2021/01/25(月) 17:40:40: う～ん、なんだこりゃ？
https://www.usajournalshub.com/index.php/tajiir/article/view/1853
540：かにす：2021/01/25(月) 20:46:23: Pdfからそのまま切り貼りコピペしたのかな？
541：みーしゃ：2021/01/26(火) 08:53:49: うーん。
542：のろうゐるす：2021/01/26(火) 08:59:32: ちなみにgoogle scholarが教えてくれた。
543：のろうゐるす：2021/02/24(水) 12:52:29: https://arxiv.org/abs/2102.11818
おい、kaplansky's unit conjectureが解かれたぞ。
kap予想四天王（zero divisor conjecture, idempotent conjecture,
stable finiteness conjecture, unit conjecture）の中では最弱とはいえ、
こんなに簡単に解けるとは。
544：カニす：2021/02/24(水) 14:46:25: へえ。正しい感じなんですか？
545：みーしゃ：2021/02/24(水) 15:03:20: 計算機でもできるということだから正しいのでは。
546：のろうゐるす：2021/02/24(水) 18:13:01: 計算機で見つけたんだろうが、具体的に元が書いてあって手計算でも
確認できるってんだから本当なのでは。計算機を使った取り組みなら
これまでもずいぶんと行われてきたのに、なんで今まで見つかん
なかったんだ？　今回のは2元体係数での反例だけど、ZやCでは未解決。
547：名無しさん：2021/02/25(木) 20:25:39: 結局主定理自体間違えてたらしい。
doi.org/10.1515/crelle-2021-0001
そもそもなんでアレをそのまま出版したんだろう？
548：のろうゐるす：2021/02/26(金) 09:44:20: 主定理は間違った補題を使える条件を整えた不自然なものだったから、
やはり間違ってたのだな。それでも論文の動機づけとなったBS群の
射有限完備化がC*単純というのは正しいのか。ほう。
549：のろうゐるす：2021/03/04(木) 11:18:53: >>543
これまで見つからなかったのは誰も本気で探してこなかったからのようだ。
Elek-Szaboの定理（sofic => stably direct finite）がred herringとなって
みんなをfiniteness予想の反例探しの方に引っ張ってったってことかなあ。
実験科学や計算機を使う数学では、どこを掘るかだけが重要なポイントに
なるというのは良くある話だ。ふむう。久遠太に載るのかな。
550：ぷるぷる：2021/03/04(木) 14:32:43: ふ～ん。
zerodiv と idempotentも陥落するのかな？
551：かにす：2021/03/16(火) 02:39:18: arXiv:2010.07043

タイトルで見落としてたけど、表現論フリーなnon-AP群ができたのか。勉強しておくとイイことがあるのかも。
識者のご意見はいかがでしょうか。
552：のろうゐるす：2021/03/16(火) 10:27:24: イイことなんて多分ナイけど、多分ナイことを続けてるといつか当たるかもよ。
553：かにす：2021/03/30(火) 02:00:39: https://secure.math.ucla.edu/seminars/display.php?&id=834355
5年？の時を経て、ついに放流されるのか？
554：のろうゐるす：2021/04/13(火) 13:15:17: https://twitter.com/GimmeDaNumba
ポーランドで行われた火事団性質検証の計算経過を自動的に
記録するツイ垢。いった誰向けなんだよ。それにしても、
この数字を見て一喜一憂している人がいると思うと感慨深い。
555：カニす：2021/04/13(火) 15:17:31: マニアックでいいですね！
最近はなんか進展あったの？
556：のろうゐるす：2021/04/14(水) 09:12:38: 数値の意味が俺には分からんのよ。
557：ようやく：2021/04/16(金) 09:47:14: ようやく例のツリー出たのかな？
558：のろうゐるす：2021/04/16(金) 17:11:11: 夏時間のせいでuclaのセミナーが朝8時からになって出席が難しくなったのう。
559：のろうゐるす：2021/06/10(木) 22:52:25: https://arxiv.org/abs/2106.04644
なんかすげーの出ちゃったな。
\chi_1(\lambda)=1だから定理1.2なんて成り立つわけないよね。
表現に何か条件を付けたきゃ、trivial repを弱包含する表現を掛けてもいいよ。
定理1.3の(1.1)も\phiを動かせば h は幾らでも 1 に近く出来るな。
560：かにす：2021/06/11(金) 15:58:31: その人の名前でググろうとすると面白いことがsuggestされるね。そうなん？
561：のろうゐるす：2021/08/10(火) 11:21:13: ここは怪しい論文を紹介するコーナーだったっけ？
https://arxiv.org/abs/2108.03750
論文が6頁でself-containedというのが良い。
562：ぷるりん：2021/09/12(日) 16:36:20: >>543 アナルズに載ったらしい。夢があるネ！
563：のろうゐるす：2021/09/15(水) 10:30:03: 常連さんが帰ってきたことを一応報告しておくか
https://arxiv.org/abs/1310.4395
564：ぶるぶる：2021/09/15(水) 12:27:45: 闇堕ちした人たちはなぜarXivをリサイクルするんぢゃろ
565：のろうゐるす：2021/09/26(日) 14:30:16: Axioms for the category of Hilbert spaces
https://arxiv.org/abs/2109.07418
Hilbert空間論の圏論的特徴づけ。どこかにHilbert空間を見出すには、
何らかの正値性が必要だと常々思ってきたけど、そうでもないのね。
566：左手そえたろう：2021/10/01(金) 15:51:39: 結局去年分類定理をぶちまけてた人はコペン集会では講演しないのかな？
というかみんなが考えるような問題を一年近くたっても論文も出せないような状態で
一方的に解決宣言しないでほしいな。プルプルっ
結局ほとんどzoom講演なんだね。
567：名無しさん：2021/11/09(火) 20:40:03: arXiv:2111.04708
よくわからんけど凄そう。どーっすか？
568：名無しさん：2021/11/09(火) 22:45:12: >>524 の人がリーマン予想も解いたらしいぞ！
https://arxiv.org/abs/2111.02792
569：みーしゃ：2021/11/10(水) 15:16:24: さすがのReferenceよ．
524の文献のrevision多！
570：のろうゐるす：2021/11/12(金) 15:33:49: "To appear in New Zealand J. Math."がついに実現
https://nzjmath.org/index.php/NZJMATH/issue/view/7
もう聞くこともできないけど、結局何があったんだよ
571：数学通神：2021/11/24(水) 00:15:26: 来年も欧米訪問は難しそうじゃのう。やれやれ
572：まことふ：2021/12/07(火) 06:27:27: 御巳苦論番付け世界2位になっちゃったけど、とりあえず冬の学校を開催することに。
来場者はみんな男だね。
573：おミクロン：2021/12/07(火) 15:41:35: なかなかのワクチン貫通力みたいね。
どうなるナワタ祭り？
次号の編集後記にも乞うご期待！
574：みーしゃ：2021/12/07(火) 16:40:10: 風邪っぽい症状だとしたら，風邪だな～って思うだけなんじゃないかな．
編集後記，ちょっとおとなしかったね．
575：ぷるん：2021/12/18(土) 15:04:08: クリスマスプレゼントにいかが？

https://www.hanmoto.com/bd/isbn/9784781915326

感想よろ。
576：ぷるぷる：2021/12/27(月) 15:02:38: >>575 本当にクリスマスプレゼントが届いていました！
　ありがたく使わせていただきます。
577：名無しさん：2022/01/28(金) 10:55:24: コロナ剛性！
578：ぷるぷる：2022/03/01(火) 11:53:14: https://arxiv.org/abs/2108.08742
内容はどうでもいいけど、
(最後のコメント)
著者に重複があるのに、
…independently developed similar ideas…
ってどういうことなんだろ。。
まあ、いかにもそういうことしそうな人だと想像は働く。。
579：ぷるぷる：2022/05/05(木) 15:01:42: arXiv:2003.03469v7
水増し・冗長・間違いだらけの論文でも、エディターが忖度して都合の良い意見が得られるまで
ゴネ続けると、最後には載ってしまうんだなぁ。
これまでも色々な論文の掲載先について疑問を持つことが多かったけど、なんか納得。

某うちゅうの人は、まあ狂ってしまったんだろうけど、この業界というかシステムに不信感を抱くこと自体には同意できる
よな。

最後に俺らの結果に言及してる部分の主張も間違ったままだし、
Exelの問題解いたとか言ってるのも俺らの結果のただの系だからな。
(もともとは正しい主張だったけど、こいつらの主定理の証明が完全に破綻してたからね。)
ホントにまともな人が再査読したのかも甚だ疑問😅
580：るぷるぷ：2022/05/14(土) 14:48:12: 2205.04933

ホンマできるんやね！すごぉい！！😷
この手の議論は1行滑ると全部になるから、
検証は相当慎重にすべきだけど、読むのが楽しみどす～😊

さて、情報アップデートせず、古い道具振り回してるだけだと、
「あいつにできるはずない、できてたとしたらただの系だ」
とか、決めつけで馬鹿にして半ば黙殺してた人たちに
いつか丸ごとごっそり出し抜かれてしまうんやね。
たいへんよい教訓になるどすねえ。

それに「できると思ってた」とか、後出しで思わせぶりで唾つけるようなこと言い出すなら、
なんで中途半端なものをトップジャーナルに出したんやろかねえ。😐
もしかして、そもそも誰がこういう例や現象を捕まえてきたのか、理解されていーひんのやろか😅😓
581：ぷるぷる：2022/08/31(水) 14:06:53: >someone edited the file when I was not looking?
こういう詰まらないジョーク？で手抜きチェックの間違い垂れ流しを誤魔化すの、みっともないし恥ずかしいよね。
本もデタラメだらけだしな。
582：のろうゐるす：2022/08/31(水) 15:59:07: まあ、数学者にはいろんなタイプがいるからね。
この人は細部がデタラメだらけだけどちゃんと
実質があるからいいんだよ。
583：＜削除＞：＜削除＞: ＜削除＞
584：のろうゐるす：2022/09/28(水) 14:50:32: >>583 些細な間違いだし、本人が訂正するそうだから、消しといたよ。
585：のろうゐるす：2022/09/29(木) 16:28:55: 俺は積分とか実際の計算が超嫌いだけど、これはなんか面白そう。
https://mathpicture.fas.harvard.edu/event/online-seminar-jones-vaughan-vanderbilt-university-applied-von-neumann-algebra
論文になってるのかなあ。
586：名無しさん：2022/09/30(金) 11:13:13: 数学と関係ないけど、痩せてる様に見えるのが痛々しい。
588：＜削除＞：2022/10/02(日) 02:33:01: >>585
スライドはありますね
https://mathpicture.fas.harvard.edu/files/mathpicture/files/jones_seminar.pdf
589：のろうゐるす：2023/01/12(木) 13:55:30: https://arxiv.org/abs/2301.03562
ほうほう。こんな形式的な計算だけで出来るわけないですね。
590：ぷるぷる：2023/01/12(木) 14:37:12: 内容見てないけど、二重双対使う時は石橋を叩かんとね・・・😴
まあ二番目の人はかなりおかしな人。基本的なこと理解してないんじゃないかな、ってことが以前あったね。
591：ぷるぷる：2023/01/13(金) 15:28:45: >Withdrawn due to a non-repairable flaw in the proof of Theorem 2.5

・・・馬鹿やな
592：のろうゐるす：2023/03/03(金) 11:52:04: https://arxiv.org/abs/2303.01405
高階格子の有限商がsuperexpanderであることが分かったのはいいが、
expanderであってsuperでないものの有無が依然として不明というのは
どうなっておるのか。ふむう。expanderの1-Lipschitz像はつぶれて
いなければ、「何らか」の形態を含むと思うのだが、「何らか」が
なんだか分からん。
593：ぷるぷる：2023/03/03(金) 17:03:24: de la Salleはイケイケやね☺️
ブルバキの予稿はいつ見れるんやろ？😴
またリヨンで集会してくれないかな😉
594：のろうゐるす：2023/03/03(金) 17:57:19: もうここで見られるよ。仏だけどな。南無南無。
https://www.bourbaki.fr/seminaires/2023/Prog_jan-23.html
595：ぷるぷる：2023/03/03(金) 20:11:26: 😔
596：のろうゐるす：2023/03/14(火) 10:56:25: https://arxiv.org/abs/2303.06835
ほうほう。大した結果なのか？
しかし、君津半群が不変量とか言われても困るよね。
それなら同型類が不変量だっていいんじゃないか。
597：ぷるぷる：2023/03/14(火) 14:06:35: Pさんが言ってた(らしい)やつやな☺️
まあ僕もあの半群界隈は以前からまゆつばやと思っとるわ😌
論文は書きやすいんだろうし実際いっぱい出てるけど、何か意味のある結果はあったのかな？🙂
くんつ半群強調してても内容は単なるcomparisonの性質ですってオチだったりするしな
598：さとう：2023/03/15(水) 15:29:45: >>596 詳しく読んでいませんが、富図の結果を異なるアプローチ
（火羅出戦を用いない方法）で与えている様なので、面白いと思いますよ。
https://annals.math.princeton.edu/2008/167-3/p07
ただ、この文脈で富図と火羅出戦を引用しないのは何か怪しいですね。
599：のろうゐるす：2023/03/23(木) 05:45:26: https://arxiv.org/abs/2303.10602
II_1因子環の零跡元 x は交換子 x=[a,b]。ほえ～。そうなのか。
a, bのノルム評価は単位の分解に必要なNに依存してるけど、
一様にできないのかな。短いから（旅が終わったら）読んでみよう。
600：ぷるぷる：2023/04/15(土) 22:56:39: あれ、君津=ピム砂環がnuclear=>係数がnuclearって
もしかして知られてない？😟
Aに条件付き期待値落ちるのかな？😔
まあ重要性はないんやけど・・・🙂
601：のろうゐるす：2023/04/16(日) 13:37:55: ほうほう。そうなのか。
602：のろうゐるす：2023/04/24(月) 17:58:17: 今日のセミナーで気づいた栗夢の補題の簡単な証明：
設定: K(H) ⊂ A ⊂ B(H), f state on A such that f(K(H)) = 0.
主張: ∃ v_n ∈ H such that f(a) = lim < av_n, v_n >.
1∈A としてよい。
S(A) = w*-cl conv {vector states}なので、Milmanの定理より
ext S(A) ⊂ w*-cl {vector states}.
f ≒ Σ λ_k f_k, f_k ∈ ext S(A/K) ⊂ ext S(A).
各 k につき、f_k(a) = lim_n <a v_{k,n}, v_{k,n} >.
f_k(K(H)) = 0 より， w-lim_n v_{k,n} = 0.
フツーの証明通り， v := Σ λ_k^{1/2} v_{k,n(k)} として証終.
603：ぷるぷる：2023/04/24(月) 20:15:33: ふぅ～ん😮
もともとはexcision使うんやっけ？😴
604：のろうゐるす：2023/04/24(月) 20:28:57: それは岸本先生のやり方（[BO]に載ってる）。
excisionは開け万、餡駄孫、ぺ駄線だから栗夢よりしばらく最近の話だね
605：ぷるぷる：2023/04/25(火) 18:44:37: 確かにせやね😉　まあグリムは直感でexcision的なものは知っておったと思うけどね、
I型論文とか読むと・・・😌

さて、Revisionからはや三ヶ月近く経つが音沙汰ないのう・・・😮‍💨😠
606：ぷるぷる：2023/05/23(火) 02:09:51: >>605 再度問い合わせたら、最近アクセプトされてたらしい☺️
　(フォーマルな通知はさらに何週か後だとか)
　結構いいところなので嬉しいわい😊🍣
607：ぷるぷる：2023/05/24(水) 15:49:22: 2204.01125
色々まとまっててええよね☺️
長いの何度もreviceすんなやとは思うけど。。。😕
608：のろうゐるす：2023/05/25(木) 09:59:35: 本になるのじゃろう。世のため人のためserviceするのはよいことだ。
多数のreviseも後世の人のためを考えてのことなら仕方ないんじゃないか。
609：ぷるぷる：2023/05/25(木) 11:34:45: のろさんの秘密の本はどうなったん？☺️
610：のろうゐるす：2023/05/25(木) 14:10:42: 俺はやる気の出ない人だから、どうもなってないよ。[BO]を書いたときは
「勉強を始めたころの俺」という想定読者がいたから仕事が進んだんだ。
611：のろうゐるす：2023/05/26(金) 10:58:28: レジェンド円風呂。そして伝説へ。
https://arxiv.org/abs/2305.15442
612：ぷるぷる：2023/05/26(金) 15:13:48: へえ、できてそうなん？☺️
文献自分の芥論文一本ってカッコええな😎
613：ぷるぷる：2023/06/06(火) 16:27:30: >>567 アナルズかぁ、庵アナさんお元気やね😊
　査読できる人おったんやな🙃
614：ぷるぷる：2023/06/15(木) 15:15:20: >>580 載ったんやな☺️
https://intlpress.com/site/pub/pages/journals/items/acta/_home/acceptedpapers/index.php
615：ぷるぷる：2023/06/20(火) 04:27:34: 久々に欧州☺️時差ボケでまだ眠いわい
プライオリティパスは色々使えなくなってゴミと化しとるな😠
これ目当てで年会費1万のカード使ってたけど、考え直さなきゃあかんね😕
616：ぷるぷる：2023/06/22(木) 20:15:28: >>565 ほうほう、講演を聞いたけど、
何気なく*みたいなのがあって、ってのを条件に入れてるから
あんまり驚きはないんじゃないか😕🙃
617：のろうゐるす：2023/06/24(土) 11:39:20: そうだね。正値性なしにHilbert空間を出すのは既にSolerの定理(1995)で
行われていたね。今回の話もSolerの定理に帰着する形で証明してる。
618：＜削除＞：＜削除＞: ＜削除＞
619：ぷるぷる：2023/07/22(土) 00:11:22: arxiv:2307.11064
よく知らんけどなんかすごそう☺️色々焼け野原になったん？😨😰
the author made a breakthrough ってええな😊
620：のろうゐるす：2023/07/22(土) 03:53:55: うむ。勢いがあってええのう。それよりsuperexpanderとexpanderの違いは
まだ判らんのか(>>592)。
621：のろうゐるす：2023/12/11(月) 12:07:19: >>543 Kaplansky's unit conjectureが複素で解決
https://arxiv.org/abs/2312.05240
ふむう。そんなんでいいのか。この2年間は何だったんだろう。
622：ぷるぷる：2023/12/11(月) 17:04:22: 見逃してたわ、ふうん☺️
623：のろうゐるす：2023/12/20(水) 15:11:20: ICM proceedings 2022 出とった。
https://ems.press/books/standalone/272
624：のろうゐるす：2023/12/22(金) 13:32:48: https://arxiv.org/abs/2312.13917
充分大きい n に対して Aut(F_n) が(T)を持つことの人間証明。
Kaplansky's unit conjectureのときもそうだったが、計算機で
式を見つけてくるのであまり人間っぽくない。そういう時代か。
なお定理のステートメントが逆になっておる。
625：のろうゐるす：2024/01/10(水) 15:53:01: ニコ様がDe Gruyterからまた専門書出してたことに気づいた。スゴイ！
626：ぷるぷる：2024/01/11(木) 16:40:52: ほうほう😨😰、まともな出版社だったはずなのに、
企画の前に意見や評判を信頼できる専門家に聞いたりしないのかね
ちなみに前のやつはちらっと覗いただけでもクンツ栗ガーの定義がめちゃくちゃだったり、
でたらめのオンパレードやった☺️有害図書指定した方がええな😌
627：ぷるぷる：2024/02/04(日) 15:37:20: また素晴らしいことを発見したっぽいけど、論文に整理するのがタイヘンそう😥
こういうのAIがやってくんねえかな😌
628：ぷるぷる：2024/05/03(金) 14:11:37: そうなん？☺️
arxiv:2405.01133
629：のろうゐるす：2024/05/07(火) 20:50:08: geometric Langlandsが解決したとアナウンスがあったようだが
結構あやふやな土台の上に建っているっぽい感じ。いずれにせよ
俺の知ったことではないか。
630：ぷるぷる：2024/05/07(火) 21:20:01: ほうほう、これ？🙂
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
宇宙化せんとええのう😌、まあ一般論として、共著者がごちゃごちゃ増えるほど
責任感は薄れるし齟齬も生じるから、指数的に諸々のリスクが増えるよね😉
そういやコンヌ埋没はどうなったん？🙄
631：のろうゐるす：2024/05/08(水) 09:09:09: （大丈夫だと思われているが）最終的に完全に証明されているか否かは
ともかく、皆に分かる確かなアイディアは幾つもあって、既に確かな
応用が幾つか出てるから、アレとは全然比べられないね。
632：みーしゃ：2024/05/08(水) 16:54:25: ついにK先生もエッセイストですな．
633：ぷべるる：2024/05/08(水) 20:49:20: 楽しみやね☺️、カケンで買えるよな？😊
634：みーしゃ：2024/05/10(金) 16:26:21: いや無理だから
635：ぷべるるさん：2024/05/17(金) 00:40:34: >>627 これ出す前にもう一個できた。これも書くのがたいへんやったわ😮‍💨
　学部レベルの証明くらいはAIでも違和感ないレベルでTEXってくるらしいヨ。😮
　論文も5年後くらいには機械が書いてくれるのかな？ノロさん？😚
636：のろうゐるす：2024/05/17(金) 09:32:21: AIに読ませる手書きの論文を用意するくらいなら、最初からtexで打てば
いいんじゃないの？新世代がtex不要になるということならあるかもな。
（俺だってお仕着せのlatexだけで旧世代みたいにtexに精通してないしな。）
\refや\citeは必須だから、手書き入力可能なtexエディタが出るんじゃろう。
637：ぷべるる：2024/05/17(金) 13:04:45: 手書き読ませるとかじゃなくて、(それはもうあるらしい)
この証明書いてねって言ったらテフで帰ってくるらしいよ😚
あとたいへんなのは記号の整合性、重複有無だけど、
これくらいは頑張ればできるんとちゃうかな？🙂
638：のろうゐるす：2024/05/17(金) 13:29:28: そりゃ、入試問題でも教科書にある証明でも、似たようなデータが大量にある
場合はAIが適当/上手に組み合わせてそれらしいものを作れるけど、ある程度
マイナーなものになったら、頓珍漢な答えを自信満々に出してくるだけだよ。
生成AI単独でできる数学なんてすごい限定的。強化学習AIができればまた話は
変わるんだろうが、数学のような目的関数のはっきりしないものをやるには
ブレイクスルーがあといくつも必要だね。
639：ぷべるる：2024/05/17(金) 22:08:53: 一見そこはかとなく数学に見えるナニカといえばこの人の論文を思い出す😌
arXiv:1510.06215
前のもひどかったけど、
主定理の証明が破綻していることを報告もせずダンマリ通すって研究不正じゃないの？😊
まあある意味すごい才能だと思う、おぼちゃん的な😚
640：のろうゐるす：2024/05/28(火) 15:52:57: また量子情報、アルゴリズム系の人たちから不意打ちで殴られたっぽい。
https://arxiv.org/abs/2405.16026
641：ぷべるる：2024/05/29(水) 23:21:24: >>640 そうなの？なんで？🙂
642：のろうゐるす：2024/05/30(木) 11:40:34: 単なる縄張り意識でそれ以上の含みはない。俺の注意の外にある
他分野の研究者が俺の研究領域（？）でいい結果を出したので
やられた感があるというだけ。
643：ぷべるる：2024/06/04(火) 13:21:19: arxiv:2406.00304
このようなcanonicalでuniversalでほぼ半世紀前の言語で書かれる現象が
誰の視界にも入らず埋蔵されていたとは、浪漫あるよね😊

arxiv:2406.01546
たまたま似たテーマの論文が同日に😌
上の結果も亜群使えばnon-simpleに拡張できると思うよ😚
644：のろうゐるす：2024/06/11(火) 11:39:38: 何か出ちゃった。
https://arxiv.org/abs/2405.10770
645：ぷべるる：2024/06/11(火) 14:42:55: さっすが～😮　😉💫
646：のろうゐるす：2024/07/29(月) 10:05:13: >>611
不変部分空間問題問題が各方面で宣伝されておるようだ。
https://votcam.wordpress.com/
647：のろうゐるす：2024/09/02(月) 12:07:28: https://arxiv.org/abs/2408.16994
なんかHaagerup&Schultzでそこそこ解決済みなんじゃないか？
https://arxiv.org/abs/math/0611256
648：のろうゐるす：2024/12/19(木) 12:31:43: https://arxiv.org/abs/2412.13751
大作が来た。
649：のろうゐるす：2024/12/24(火) 12:52:37: 数セミで、自分はKWH先生を論文で引用したことなどこれまで一度もないと
言い放った、その舌の根も乾かぬうちに引用論文を書いたでござる。ほう。
650：のろうゐるす：2025/01/23(木) 12:19:58: https://arxiv.org/abs/2501.13088
2-擬跡は跡。ふむう。
651：のろうゐるす：2025/01/23(木) 13:47:06: 全く何もやってなかった。ほう。
652：ぷべるる：2025/01/23(木) 15:38:45: ち～ん🙏😌
653：のろうゐるす：2025/02/26(水) 21:59:12: 3次元掛谷予想解けたってよ。
https://arxiv.org/abs/2502.17655
https://terrytao.wordpress.com/2025/02/25/the-three-dimensional-kakeya-conjecture-after-wang-and-zahl/
654：ぷべるる：2025/02/28(金) 00:31:52: ほうほう、二人ともトップジャーナルの常連だし、信憑性ありそうやね☺️
北京でキンペーからフィールズ賞？😧🏅
655：のろうゐるす：2025/02/28(金) 08:47:07: ２，３か月前から田尾その他の専門家の間でプレプリが出回っていて
既に最終的な成否はともかく実質は充分ということらしいよ。ほう。
現時点で成否が確定してりゃ来年のフィールズ賞狙えるけど、東京まで
待つとなると著者の片方が年齢制限で脱落するんじゃないか。ふむう。
656：のろうゐるす：2025/08/01(金) 22:57:12: 柏原アーベル賞で留守チック激おこ。
https://arxiv.org/abs/2507.20816
657：ぷべるる：2025/08/01(金) 23:42:13: ふむ、HPにあるのはガタクホ先生に教えてもらったけど、
arXivにもぶちまけたんだね☺️
ズーミン60でのろ評お披露目だね🙂
658：のろうゐるす：2025/08/03(日) 01:06:59: ほう。俺が留守の主張を表面的に追いかけた限りでは、貢献度の割り振りに
関する不満があるだけで（正当なものかどうかを判断する見識は俺にない）、
留守が主張するような不正・不実は見当たらんかった。

もちろん俺は時系列も把握していないのだが、ネット上で確認できる初出は
[K90]が89年で、[L90]は90年01月のJAMS投稿だ。留守が"concurrently"に
書かれたと主張してることから判断するに、世に出回ったのは[K90]の方が
先なのであろうな。
https://www.kurims.kyoto-u.ac.jp/preprint/preprint_y1989.html
https://www.ams.org/journals/jams/1990-03-02/S0894-0347-1990-1035415-6/
結晶基底論文[K91]では留守論文が各所で"cf."として引用されている。つまり
貢献度の割り振りは読者が判断しろというスタイルであるな。留守はそれを
自分の業績を元にしたと書けと要求しているのだが、その是非を判断する見識
は俺にない。一方でこの度の弾劾論文は一読するとKが留守をまるで引用して
いないと読めるようにも書かれていて不誠実な印象を受けた。ちゃんちゃん。
659：のろうゐるす：2025/08/11(月) 16:55:10: https://arxiv.org/abs/2508.05834
ほう。II_1因子環のユニタリ群の可縮性についてオーベルで講演したら、
簡単に完全解決しちまった。俺はwasserstein距離に思い至らなかった。
以前誰かに言われてたんだけどな。
俺もオーベルで触れた流行りもんの無私に手を出して論文を書いたけど、
締め切りを逃したんで出るのは明日になる。
660：ぷべるる：2025/08/11(月) 19:15:18: 瞬殺、すごいね☺️
こんな道具が一般論に役立つのね😌
661：のろうゐるす：2025/08/28(木) 18:02:52: アレ？単純純粋無限なら無私って簡単に分かるよね？ふむう。
662：のろうゐるす：2025/09/01(月) 12:46:28: アレ？単純単跡核型Z安定なら無私って簡単に分かるよね？ふむう。
Z安定を純粋にしたいが俺では無理だな。Cuを勉強する気にならん。
663：のろうゐるす：2025/09/01(月) 15:57:19: なんとかピム砂C*環を自分で使ったのはたぶん初めてだ。
しかし[BO]って本はえらい役に立つな。ほう。
664：ぷべるる：2025/09/01(月) 16:23:16: 続編まだ？☺️
665：のろうゐるす：2025/09/02(火) 10:46:17: >>664
両結果を含んだ改定版は投稿済みだけど、今日はlabor dayでarxiv更新なし
666：のろうゐるす：2025/10/02(木) 16:58:31: >>659 解決から2か月もしないうちにmath annに掲載されとった。速い。
ちなみに3ページ目の集合であるか否かについての議論は、たまにある
無害だけど無意味なものだな。任意の一自由変数述語 P(r) について
inf{ r in R : P(r) }はwell-defだ。P(r)の実現の仕方が集合と
なっておらずとも、{ r in R : P(r) }は分出公理により集合である。
667：のろうゐるす：2025/10/02(木) 21:07:03: https://arxiv.org/abs/2510.00617
virtual Haken予想の別証明か。難しいことをいろいろ使わないでできたと
いうことなんだが、本物じゃろうか。イントロでvirtuallyを繰り返してる
のが心配じゃわい。ほう。

https://arxiv.org/abs/2510.00081
exponent 3のBurnside群が局所有限であることの別証明か。難しいことを
いろいろ使わないでできたということなんだが、問題を提出したBurnsideの
原論文(1902)に簡単な証明が書いてあると思うぞ。ほう。
668：のろうゐるす：2025/10/09(木) 15:07:38: 適当な物理の論文で数学よりのものをとってきて、AIにお願いして数学形式
（定義・定理・証明）にしてもらうことで、数学の論文っぽいものが量産
できることに人類は気がついてしまったらしい。ほう。
669：ぷべるる：2025/10/09(木) 15:24:56: 投稿料と査読謝金取らないともう存続できないだろうね☺️
内容ない論文を身内に回るまで片っ端からトップクラスに投げつけてくるようなのもいるし😌
あとは投稿アカウントを学会みたく紹介制にすれば
得体の知れない人たちの得体の知れない論文もどきは少しは弾けるのかな？😏
670：のろうゐるす：2025/10/11(土) 16:31:29: アレ？非円筒状双曲的なら無私って簡単に分かるよね？また改訂しないと。
671：ぷべるる：2025/10/11(土) 23:08:35: ところでSelflessってどんなニュアンスの用語？😯
辞書的意味だとあんまりそれっぽくない気がするけど🙄

ノーベル賞取るには長生きが大事だもんね☺️🦀💰
>トランプ氏、心臓年齢は実年齢マイナス14歳　健康状態に医師が太鼓判
672：のろうゐるす：2025/10/12(日) 05:39:14: 驢馬人の論文に書いてある。超ベキにfree from selfのコピーがあるから無私。
673：ぷべるる：2025/10/16(木) 18:03:16: ダジャレなのね☺️
それにしてもシンプルな考察(+自由積の諸々)
でゴロゴロ強い結果が出てくるとは😚
vNのときはどれも自明な性質だから盲点だったのかな？☺️
674：のろうゐるす：2025/10/21(火) 18:04:42: 家事団論文についてナンセンスな論文がのっとるね。>>650-651 もそうだったけど、
素人はどこに問題の急所があるのか、これまでの試みをはじいてきたバリアが何で
あるのかを理解してないから、新しいものが何もなくとも、どんどん複雑にする
ことで自分自身をごまかして証明できたと勘違いできてしまう。

これにAI勢が加わるようになったらタイヘンだな。いくつかの分野では既に
タイヘンになってるけど、作用素環論はマイナー分野でよかったわい。
675：ぷべるる：2025/10/21(火) 19:58:17: プロ(ってことになぜだかなってる人たち)にもたくさんいるよね☺️
> どんどん複雑にすることで自分自身をごまかして証明できたと勘違いできてしまう。
例: arxiv:2003.03469 arxiv:1505.07793
676：のろうゐるす：2025/10/22(水) 16:31:22: https://borisalexeev.com/pdf/erdos707.pdf
ヤバイ。LLMと証明支援系の合体まったなし！「既に知られていることを組み
合わせればできるようなこと」(*)なら、いよいよ機械にお願いすれば勝手に
証明してくれるようになる時代が見えてきたかも。近未来的に、証明支援系を
通らない証明は認められなくなるんじゃないか。ほうほう。(*)に当てはまら
ないものを何とかするには強化学習が必要になるんだろうが、それには更なる
ブレイクスルーが必要だ（といいな）。ふむう。そもそも(*)に当てはまらない
数学って何だろう？
677：のろうゐるす：2025/10/28(火) 02:19:08: https://arxiv.org/abs/2510.15924
人々が一斉にlatexを使うようになったのは、紙とペンを使って論文を書くより
ずっと便利になったからであって、latexを使うようになって数学研究のあり方
そのものも多少は変わった。同じことがいつかはAIで起きるだろうというお話。
ほう。俺もそう思う。もし巨大資本が突っ込まれれば、LLM+証明支援系の合体で、
相性のいい分野（俺のやっている分野とか）ではすぐにそうなっておかしくない。
678：ぷべるる：2025/10/28(火) 16:27:53: 概念とアイデア入れたら勝手に証明書いてくれるのかな？☺️
今後はテクニックコンペよりどこに面白いものがあるのかを
探すのが主流になるんだろうね☺️まあこっちの方が本来の「研究」じゃろ😌
679：のろうゐるす：2025/10/31(金) 11:13:46: arXiv:2510.26073
Wiegold problem陥落！離散群 G に対して、G をnormal subgroupとして
生成するために必要な元の最小個数を n(G) とすると、当たり前のことだが
n(G) \geq n(G^ab)であって可換化 G^abの生成階数は簡単に計算できる。
では、n(G^ab) < n(G) < ∞となる G が存在するか？
特に有限生成、G^ab = 1で n(G) > 1 となる G が存在するかという問題。
単なる生成階数を問う作用素環論のgenerator問題（単純C*環、因子環）
とはちょっと違うけど、同様に無敵のオーラを纏っていて攻略のされない
問題なんだと思ってた。
680：ぷべるる：2025/12/03(水) 13:43:11: どうでもいい人がナンセンスに間違ったプレプリントを出しちゃったっていうよくある話だと思うけど
なんで名の有る人がわざわざ出版したんやろ？☺️

https://www.uni-muenster.de/FB10/mjm/vol_18/mjm_vol_18_10.pdf
681：のろうゐるす：2025/12/03(水) 17:31:05: 他の論文も併せて投稿から出版までの時間を見るとbacklogがゼロみたいだな。
編集者が各所に論文を出してくれってせがんでるんじゃないか？ほう。
682：ぷべるる：2025/12/03(水) 20:44:32: キリヒバーグ号はどうなったんやろね
😌
🙏
683：のろうゐるす：2025/12/09(火) 17:08:24: ほうほう。replacement 6回目以降はアナウンスされないことを知った。
684：ぷべるる：2025/12/09(火) 18:12:14: 目指せ、最高記録😊
685：のろうゐるす：2025/12/13(土) 15:26:22: >>683 定義で \forall n と \exists n を間違えるというかなり素人臭いミスを
しているのだが、6回目以降のreplacementは週に一回までというルールのため
replaceできない。ほうほう。
686：のろうゐるす：2025/12/18(木) 17:41:30: arXiv:2512.15494
ふむう。ついにこんなところまで"ChatGPT was used..."って書いてあるけど、
英語の添削にでも使ったのかのう。