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

1：プリプリ博士：2006/03/10(金) 13:42:36: やあ～
ここはプレプリを批評する場所らしいぞぉ～
（ジャー　ごぼごぼ…）
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