情報更新

last update 03/28 05:47

ツイート検索

 

@yujitach
サイトメニュー
Twilogユーザー検索

Twilog

 

Stats Twitter歴
5,242日(2009/11/21より)
ツイート数
4,710(0.8件/日)

ツイートの並び順 :

表示するツイート :

2021年05月30日(日)5 tweetssource

5月30日

@yujitach

🥑@yujitach

@kururu_goedel 我々の理解が進歩すれば、与えられたハミルトニアンに対して gapped か gapless かぐらいは判定できるのでは無いかと思っていたのですが、チューリングマシンをエンコードできるなら当然それは無理なわけで、そこが僕には面白かったです。

posted at 00:20:31

5月30日

@yujitach

🥑@yujitach

@kururu_goedel 構成できる一次元系の局所相互作用ハミルトニアンが gapless か gapped かに翻訳できるということを示してあるので、それを使っているだけです。物理屋としては、一次元の局所相互作用ハミルトニアンというのは非常に典型的なモデル系で、いろんな個別の例がそれぞれ徹底的に調べられているので、

posted at 00:18:40

5月30日

@yujitach

🥑@yujitach

@kururu_goedel コメントをありがとう御座います。はい、論文の強調点と違うところを強調したツイートになって失礼しました。この論文は数理論理学的には何も新しいことはないと思います。同著者の arxiv.org/abs/1810.01858 で、既に、任意のチューリングマシンに対して、それが止まるか止まらないかを、具体的に

posted at 00:16:28

2021年05月29日(土)2 tweetssource

5月29日

@yujitach

🥑@yujitach

あるらしく、そこに ZFC においての矛盾の証明を見つけ続けるチューリングマシンを代入すれば良いそうだ。ZFC が無矛盾だとすると、このハミルトニアンがギャップが有るというのは ZFC から証明不能。

著者の苗字が Cubitt さんというのもポイントが高い。偽名かと思ったが本名のようです。

posted at 01:04:18

5月29日

@yujitach

🥑@yujitach

一次元格子系の具体的な並進不変 nearest neighbor Hamiltonian で、ギャップが無いか有るかが集合論の公理系 ZFC が矛盾しているか無矛盾かに依存するものがあるらしい。一般に与えられたチューリングマシンが止まるか止まらないかによって gap の無し有りが決まるような Hamiltonian を作る方法が twitter.com/rougeteaviolet

posted at 01:04:18

2021年05月27日(木)2 tweetssource

5月27日

@yujitach

🥑@yujitach

フィボナッチ数のなかで m^n (n>1) の形の数は 0, 1, 8, 144 しか無いというのが、フェルマーの大定理の証明の方針を応用して示されているって知ってました? 昨日数学講究XBの三枝君の講義に潜っていたら紹介されてました。原論文は arxiv.org/abs/math/0403046 です。

posted at 09:16:41

2021年05月21日(金)2 tweetssource

2021年05月18日(火)1 tweetsource

2021年05月17日(月)2 tweetssource

5月17日

@yujitach

🥑@yujitach

@subarusatosi どうもありがとうございます、Physics SE の方にも Shintaro さんなる方がコメントしてくださっていて、その辺りから来たようですね。Qubit の文脈では誰が広めたのでしょうか?

posted at 23:38:35

2021年05月15日(土)1 tweetsource

2021年05月14日(金)2 tweetssource

2021年05月13日(木)3 tweetssource

5月13日

@yujitach

🥑@yujitach

数学科の学生向けオムニバス講義の数学講究XBって(数学に興味のある人には全般に)すごい面白そうなのですが、資料だけでも公開しないのでしょうか。今年のラインナップは www.ms.u-tokyo.ac.jp/kyoumu/1310dc8 です。

面倒なのでiカレンダー形式に変換しましたのでどうぞ: member.ipmu.jp/yuji.tachikawa

posted at 12:02:52

2021年05月08日(土)2 tweetssource

2021年05月01日(土)3 tweetssource

5月1日

@yujitach

🥑@yujitach

少し前に大阪の祖母に「大阪は大変なことになってるけど心配か」とメールをしたら、私はそろそろ96だから覚悟は出来ている。そんなことよりお前とお前の家族のことを心配している、お前は昔から食が細いからキチンと食べて元気をつけなさい、と返事があって、愛とはこういうことかと思ったのだった。 twitter.com/Iam90yearsold/

posted at 23:15:58

5月1日

@yujitach

🥑@yujitach

緊急事態宣言による R の低下も三度目になって利き目が緩くなっているだろうが、これでせめて R<1 になってくれるだろうか。祈るようにデータを見ている。

posted at 23:04:48

5月1日

@yujitach

🥑@yujitach

日本がこれまで欧米と比べればコロナ禍の被害が少なかったのは、基本的な社会的な慣習による R の低下が従来型には十分効いていたからではなかろうか。おそらく種々の変異株の R にはこれでは十分ではなく、これによる爆発を関西ではみているのではなかろうか。

posted at 23:04:47

このページの先頭へ

×