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

301：まことふ：2012/05/10(木) 14:09:09: あれ？Pのほうが以前講演してたことと違うような気がするぞ？？？
非従順な場合に代数的軍艦の標準じゃないトレースでGNS構成したら次元平坦じゃない包含が
できるって言ってなかったっけ。
http://arXiv.org/abs/1205.1930
302：名無しさん：2012/06/24(日) 21:43:49: へぇー。
http://arxiv.org/abs/1206.4793
303：たれこみ：2012/07/18(水) 14:52:46: 1207.4010
304：たれこみ：2012/07/18(水) 14:53:19: 1207.4010
305：みーしゃ：2012/07/18(水) 15:12:24: かすれとるね．．．
浜～は大変だ？
306：のろうゐるす：2012/07/18(水) 16:01:39: これまたスゴイのが出たね。はげ先生もunpublishedなヤツをupしてくれんかな。
307：みーしゃ：2012/07/18(水) 20:59:46: 完璧に発音できたらやってくれるかもよ。

http://ja.forvo.com/word/haagerup/

なんかいろいろ遊べるね。
308：MMR：2012/07/19(木) 19:57:25: ≫307
おかげでSzabóの発音が判りました！

今は非交換几何暑期研討班で上海にいて、明日昆明に飛びます。
郁老師も元気です。
309：さとう：2012/07/20(金) 11:31:16: 上海とは尖閣諸島が気になるんですが、向こうの人はどういう反応ですか？
あまり気にしない方がいいのでしょうか。
310：MMR：2012/07/20(金) 14:27:37: 昆明に着きました！
丘カンファレンスだけあってホテルの部屋も非常に豪華な部屋です。
エクスカーションも半日と丸々一日の2回あるみたいです。
311：のろうゐるす：2012/07/20(金) 16:49:32: ほう。数年前にあった前回に引き続いて、日本勢ががんばってるようだの。
312：MMR：2012/07/20(金) 17:18:29: 日本人がだいぶ招待されていますね。
明日から始まるのにウェブサイトにまだプログラムが載っていませんが、
冊子の形ではプログラムを今日もらいました。
しかし、冊子にはスケジュールとプラグラムの項目があり、それぞれで
微妙に詳細が違っています。僕は前者だと27日の午後、後者だと26日の
昼前に話すことになるようです。
アンドレイとイゴレの羅嬪誅駆親子にも会ってきます。
313：のろうゐるす：2012/07/26(木) 10:23:25: ITMなう。
http://arxiv.org/abs/1207.5888
これはメデタイ。従順群やコサイクルでもまだまだ出来ることがあるんだねえ。
314：のろうゐるす：2012/08/07(火) 16:02:38: http://www.ihes.fr/~gromov/topics/recent.html
の一番下にエントロピー関連の最近の話が。
もっとsubstantialなものを準備中だとか。
315：まことふ：2012/08/09(木) 12:20:47: >>314
アクセスできなくなっちゃったね。見ておけばよかった。
316：まことふ：2012/08/16(木) 19:17:00: folk.uio.no/sergeyn/papers/CQGRC.pdf
これのセミナーはいつにするべや。9/7-9?
317：のろうゐるす：2012/08/31(金) 15:55:49: http://arxiv.org/abs/1208.6162
C*環の分類に興味はないんだが、Wが自己吸収的かどうかは未解決って強調してるので、
オヤっと思って調べたら、それを主張してた某氏のプレプリは撤回されおった。

>>313も撤回。残念でした。
>>314は復活してる。
318：さとう：2012/09/01(土) 06:11:11: あたり前ですが、(p^{2^k}-1)(p^{2^k}+1)=p^{2^{k+1}}-1なので、
添え字のq(k)はp^{2^k}の方がキレイなのに、きちんとやってくれないかな。
ひとつ上の世代と比べると、近頃のC*環分類論文はちょっと酷いなと思います。
319：たれこみ：2012/09/11(火) 10:28:48: 1209.2063 -- できたの？
320：のろうゐるす：2012/09/11(火) 14:30:57: うむ。ついに陥落。証明はそれほど長くないな。
321：のろうゐるす：2012/09/11(火) 14:31:43: 参考情報。
http://mathoverflow.net/questions/26821/is-thompsons-group-f-amenable
322：名無しさん：2012/09/25(火) 21:05:40: もっちーの論文が世界中で話題になってますね
証明が正しかったらいいな
323：さとう：2012/09/26(水) 10:20:12: 公平な審査が大事なんでしょうが、なんだか応援したくなります。
324：のろうゐるす：2012/09/26(水) 16:45:45: 最近、よくそのことについて聞かれるよ。同僚だからね。
数学の内容は分かるはずもないので、もっぱら、
彼がまともな人間なのかどうかについて。ほうほう。
325：たれこみ：2012/10/02(火) 12:19:54: arXiv:1209.2063 -- 振り出しに戻ったらしい…
326：のろうゐるす：2012/10/02(火) 13:20:11: >>325 ほう。ここでアクメドフが登場するとは。まさしくドラマじゃのう。
ちなみに、ハゲ先生も間違いを見つけたと言っておった。
327：みーしゃ：2012/10/02(火) 15:23:03: みんなしっかりしようぜ！
328：まことふ：2012/10/02(火) 16:50:41: みんな脛に傷持つ状態やね。もはや禿先生の証明を待つしかないのか・・・？！
329：のろうゐるす：2012/11/02(金) 16:13:01: http://arxiv.org/abs/1211.0244
今野先生が近年何をやってるのか知らんが、何か喧嘩売られてるね。
ふむう。長いので読む気にもならん。アブストラクトだけ読んでの
おそらく的外れな感想を書いてみよう。次のような酒の上の話題がある。
「ある日ZFCに矛盾が見つかり、根本的改革が行われることになったとする。
自分のやってる数学分野は、形は変わっても本質的な部分は生き残るか？」
適当に挙げると有限数学、微分方程式、整数論、微分幾何(?)などZF以前の
ものは概ね大丈夫そう。数理物理もよさそう。しかし作用素環はどうなんだろ？
とにかく、超実数とかは"virtual"だからダメじゃろ。
330：のろうゐるす：2012/11/02(金) 16:44:42: という、ナイーブなプラトン主義に対する反駁が書かれてるんだと思う。
331：のろうゐるす：2012/11/02(金) 16:44:42: という、ナイーブなプラトン主義に対する反駁が書かれてるんだと思う。
333：のろうゐるす：2012/12/20(木) 16:02:45: http://arxiv.org/abs/1212.4646
羅フォル具の鍛冶段(T)に関する結果のサーベイ（修士論文）。
羅の論文はよいものなのでもっと広くよく読まれるべきだが、
フラ語のうえ難しいからな。英語の解説はありがたい。ちょうど、
新年のrigidity schoolで講義することになっていたのだが、
今回も原論文は読まずにすませられそうだ。ほう。
334：のろうゐるす：2013/01/21(月) 10:26:43: http://arxiv.org/abs/1301.4425
羅怒烈駆はまだ頑張ってるみたいだな。例の論文の方は現在118ページになっていて
ますます解読不能。俺が3年前に書いたノートは羅怒名義でルOT集会のプロシーに
投稿された。書き直しを命じられても、typo修正以上のことはする気ないけどね。
335：まことふ：2013/01/29(火) 00:13:46: MJD?
http://aperiodical.com/2013/01/the-invariant-subspace-problem-solved-for-hilbert-space/
336：のろうゐるす：2013/01/29(火) 19:20:11: ほう。結構ハデに発表しちゃったみたいだけど大丈夫かね。
http://www.rsme.es/content/view/1199/1/
http://www.ams.org/mathscinet-getitem?mr=2462584
337：まことふ：2013/01/29(火) 19:42:34: 見覚えがあると思ったら>>303 の人か。人生仕上げにかかってきたね。
338：のろうゐるす：2013/01/29(火) 19:49:56: ほう。よく覚えてたね。なんか所属がどぶ藍綬と同じなんだけど風土病でもあるのかね。
339：まことふ：2013/02/01(金) 19:52:36: 何か事情があるのだろうか？？？？
math/9806063v4
340：のろうゐるす：2013/02/01(金) 21:16:46: v1からの変遷が興味深いな。リサイクル？？まことふは著者と会ったことは
ないかも知れんが、志を共にする友人だろう。何があったのか聞いてみたら。
341：のろうゐるす：2013/02/06(水) 07:15:19: この度の研究集会の収穫は淡路のタコと焼きアナゴに、お狩り場の熊鍋かな。
342：さとう：2013/02/06(水) 16:55:11: 数学の収穫を書いてください。
でも、あのタコ釜飯はすごく美味しかったなー。
343：まことふ：2013/02/09(土) 17:56:50: 周りでジパング行きが流行ってるべ。乗り遅れちゃなんねえずら。
344：まことふ：2013/02/09(土) 18:21:20: 談話室と間違えちゃった。
345：のろうゐるす：2013/02/10(日) 19:35:20: ほう。ところで、やっぱりISPはダメだったみたいだな。(>>335)
http://cafematematico.com/2013/02/05/statement-from-cowen-and-gallardo/
346：のろうゐるす：2013/02/21(木) 10:29:00: http://arxiv.org/abs/1210.7436v2
ほう。金正日大学に我々の仲間がいるとは知らなんだ。
347：のろうゐるす：2013/02/21(木) 10:29:56: まちごうた金日成の方だった。
348：まことふ：2013/02/21(木) 12:10:24: 同志が使うメールアドレスはyahooなのか。
シンポジウム名で検索するとなかなか興味深い。
金日成大学ではこんな研究もしてるんだね。abs/1302.3654
349：のろうゐるす：2013/03/07(木) 10:30:14: P氏はここしばらく、同型問題、埋め込み予想、KS問題の３つしかやっていないという話だったが、
本当らしいな。野心の高さと執念、それを実現できる集中力は尋常でない。うらやましいのう。
分野の繁栄のために、またブレイクスルーをもたらしてくれるといいなあ（他力本願）。
350：さとう：2013/03/07(木) 10:54:54: P氏って、けっこうな年齢だけど衰えとかないのかな。
351：のろうゐるす：2013/03/07(木) 10:57:26: リンクを忘れてた。
http://arxiv.org/abs/1303.1424

ところでKS予想はいろんな人が正しいと信じているようだが、どうなんだろう。
「正しい」というのは、純粋状態の拡張が一意ってことね。原論文でKSはその逆を
予想していたのだけどね。non-atomic masaのときは一意でないって論文だから。
353：のろうゐるす：2013/05/14(火) 14:53:06: http://arxiv.org/abs/1305.2897
弱Goldbach予想（７以上の奇数は３つの素数の和）が解けたそうだ。
Helfgottはマッチョマンだな。弱Goldbachは、ずいぶん昔（８０年前）から、
十分に大きな奇数について成り立つことは示されていたが、
「十分に大きな」がついに計算機で検証可能な10^30まで小さくなったそうな。
354：さとう：2013/05/14(火) 18:26:56: 整数論の人って、そんな事まで出来るんですね。
全くどうやるのか見当もつきません。
355：ジャバちゃん：2013/06/08(土) 15:34:52: 70000000って聞いたときは正直フーンだったけど，いつの間にかすごいことになってるね。
http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes
356：さとう：2013/06/08(土) 20:52:44: この勢いだとあっという間に２まで届きそう。
357：のろうゐるす：2013/06/19(水) 15:58:20: Kadison--Singer解けたってよ。
http://arxiv.org/abs/1306.3969
著者らの評判からすると、マジらしいな。
358：さとう：2013/06/19(水) 21:18:06: 何の前ぶれも無く解かれると、ショックですね。
359：のろうゐるす：2013/06/19(水) 22:11:29: いや。数年前からこの日が来るのを怖れてた。苦いのう。
http://jbbs.livedoor.jp/bbs/read.cgi/study/7140/1141965756/138
360：さとう：2013/06/19(水) 22:58:07: へー、こんなのもあったのか。できればKSは作用素環側から直接解いてほしかったです。
361：とおりすがり：2013/06/20(木) 18:47:34: あんな超越的な問題がちゃんと解けるのですね．
何処から解かれても良いけど自然なアプローチがいいですね．で，自然なアプローチなのですか？
362：MMR：2013/07/11(木) 00:01:39: 1307.2475
出羅去るが SL(3,R) の強Ｔについて進めたみたいですね。
色々助かりそうです。
363：さとう：2013/07/11(木) 19:26:43: 強T、なんだか心強い助けになりそうな響きです。
364：MMR：2013/07/11(木) 21:37:44: >>363
実はよくないタイプの性質なのですが、何かが「大変よくない」ということを示すには心強いです。

今上海に滞在しているのですが、林華新と初めて会いました。
彼は今華東師範大学の作用素環センターの所長になったようですね。
365：さとう：2013/07/11(木) 22:48:52: 林の字は達筆ですよね。（論文もキレイに書けばいいのに）

自分で作ったので当然彼が所長です。毎年少しずつ立派になっています。
今年は特に教室の内装が新しくなっていて圧倒されました。
同様に、彼の論文も毎年少しずつ拡張されている気がします。
366：MMR：2013/07/11(木) 22:59:58: そうだったのですか。
林とは中国語の簡体字についての話で盛り上がりました
（「発」と「髪」；「机」と「機」；「后」と「後」のような
組が現代中国語で縮退していることなど）。
彼は「衣」と「一」が、彼の出身の言葉では発音が"全く"違う
（聞かせてもらいましたが、注意深く聞かないと日本人には
わからない）のに、北京語では同じように発音することになって
おりそれが標準化されていることに文句を言っていました。
あとこれは林と話したわけではないですが、「矛盾」という
言葉を日本でも使うんだといったら驚かれました。
こちらでは「conjecture」を「猜想」と書くようで、何か予想の内容について
半信半疑な気分を醸し出しています。。

林の講演もありましたが、いろいろ内容が豊かで流石でした。
367：のろうゐるす：2013/07/24(水) 10:11:36: http://arxiv.org/abs/1307.5836
mathoverflowを使って論文を書こう！
ってゆーか、Z^*条件ってno strictly positive elementsと同値だろ？
368：さとう：2013/07/24(水) 18:23:25: Z^*って初めて聞きました。X^* とか Y^*もあるのかな。
369：Rui：2013/07/24(水) 20:08:19: Z^*・・・Jetstarと聞き間違えるな。
370：のろうゐるす：2013/08/08(木) 12:34:03: 研究集会中ヒマになったので、エクササイズとしてmathoverflowの問題をふたつ解いてみた。
(1) B(H)は無限次元Banach空間のテンソル積には分解しない。
(2) L^2(D)上の掛け算作用素 M_z は正規だからdiagonal+compactだけど、bandedではない
（ある正規直交基底 (e_n) に関してbanded <=> R>0が存在して <Te_n,e_m>=0 if |m-n|>R、
Gram-Schmidtにより、任意の自己共役作用素はbanded with R=3）
公表するには値せんな～。
371：さとう：2013/08/08(木) 14:25:14: 何かの役にたつといいですね。
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
前のもひどかったけど、
主定理の証明が破綻していることを報告もせずダンマリ通すって研究不正じゃないの？😊
まあある意味すごい才能だと思う、おぼちゃん的な😚