@kururu_goedel 入力1に対して何が出力されるのでしょう? 単に止まらないのですかね。
posted at 00:34:28
Stats | Twitter歴 5,242日(2009/11/21より) |
ツイート数 4,710(0.8件/日) |
表示するツイート :
@kururu_goedel 入力1に対して何が出力されるのでしょう? 単に止まらないのですかね。
posted at 00:34:28
@kururu_goedel 僕としては、もしこういうハミルトニアンをもつ物質を実際に作って gap を測定したらどうなるのか、と思うのですが、宇宙は実際には有限なので測れません。折角なので質問したいのですが、似たような問題として、http://jdh.hamkins.org/every-function-can-be-computable/… にあるチューリングマシンを実際に走らせると
posted at 00:32:44
@kururu_goedel 我々の理解が進歩すれば、与えられたハミルトニアンに対して gapped か gapless かぐらいは判定できるのでは無いかと思っていたのですが、チューリングマシンをエンコードできるなら当然それは無理なわけで、そこが僕には面白かったです。
posted at 00:20:31
@kururu_goedel 構成できる一次元系の局所相互作用ハミルトニアンが gapless か gapped かに翻訳できるということを示してあるので、それを使っているだけです。物理屋としては、一次元の局所相互作用ハミルトニアンというのは非常に典型的なモデル系で、いろんな個別の例がそれぞれ徹底的に調べられているので、
posted at 00:18:40
@kururu_goedel コメントをありがとう御座います。はい、論文の強調点と違うところを強調したツイートになって失礼しました。この論文は数理論理学的には何も新しいことはないと思います。同著者の https://arxiv.org/abs/1810.01858 で、既に、任意のチューリングマシンに対して、それが止まるか止まらないかを、具体的に
posted at 00:16:28
あるらしく、そこに ZFC においての矛盾の証明を見つけ続けるチューリングマシンを代入すれば良いそうだ。ZFC が無矛盾だとすると、このハミルトニアンがギャップが有るというのは ZFC から証明不能。
著者の苗字が Cubitt さんというのもポイントが高い。偽名かと思ったが本名のようです。
posted at 01:04:18
一次元格子系の具体的な並進不変 nearest neighbor Hamiltonian で、ギャップが無いか有るかが集合論の公理系 ZFC が矛盾しているか無矛盾かに依存するものがあるらしい。一般に与えられたチューリングマシンが止まるか止まらないかによって gap の無し有りが決まるような Hamiltonian を作る方法が https://twitter.com/rougeteaviolet/status/1395922985614299137…
posted at 01:04:18
講演のスライドは https://homepages.warwick.ac.uk/staff/S.Siksek/scans/spree.pdf… 。
posted at 09:16:41
フィボナッチ数のなかで m^n (n>1) の形の数は 0, 1, 8, 144 しか無いというのが、フェルマーの大定理の証明の方針を応用して示されているって知ってました? 昨日数学講究XBの三枝君の講義に潜っていたら紹介されてました。原論文は https://arxiv.org/abs/math/0403046 です。
posted at 09:16:41
@suzuki__r それを tweet する暇はあるんですね!わかりました!!!
posted at 22:18:56
来週金曜の数学科の談話会で話します。題は「物理と代数トポロジー」にしました。登録すれば誰でも参加可能なはずです: https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html… 現在鋭意準備中です。
posted at 18:29:26
先日見つけた Fractal Clock を最近の Mac でも動くようにしました。ダウンロードはこちら:https://github.com/yujitach/FractalClock/releases…
https://www.youtube.com/watch?v=40zPc4GqxCI…
posted at 21:22:31
@subarusatosi どうもありがとうございます、Physics SE の方にも Shintaro さんなる方がコメントしてくださっていて、その辺りから来たようですね。Qubit の文脈では誰が広めたのでしょうか?
posted at 23:38:35
Physics SE で物理の(文献に関する)質問をしたので教えてください。単に量子力学で出てくる Bloch sphere を Bloch が導入した論文が知りたいだけなのですが。もしくは誰かが「これを Bloch に記念して Bloch sphere と呼ぼう」と書いた論文でもいいのですけど。
https://physics.stackexchange.com/questions/636913/bloch-sphere-which-paper-of-bloch…
posted at 15:15:15
ワクチン打ちましょう。 https://twitter.com/Mutantfroginc/status/1392906121590067214…
posted at 23:19:24
@anairetta と思ったら次のツイートがあった。まあ、なんにせよ、今の緊急事態宣言より強めの何かをしないとじりじりと医療リソースは食われていずれ(一ヶ月後ぐらい?)京阪神のようになりますね。https://crisis.ecmonet.jp とか https://www3.nhk.or.jp/news/special/coronavirus/hospital/… とかみても、減る気配はあまりないので...
posted at 23:45:15
@anairetta 主に GW の行動の結果が出てきたのでは?あとは最近首都圏も変異株が dominant になってきたので https://www.fukushihoken.metro.tokyo.lg.jp/iryo/kansen/screening.html… 行動が同じでも R があがる気がします。
posted at 23:40:31
Fractal Clock という mac のスクリーンセーバーを偶然みつけた: http://www.dqd.com/~mayoff/programs/FractalClock/…
生憎最近の macOS ではそのまま動かないが、修正中。いくらでも眺めていられる。 https://pic.twitter.com/S5FECG5QBj
posted at 19:31:24
Zoom のリンクはさすがに書くのは憚られましたので https://itc-lms.ecc.u-tokyo.ac.jp/lms/course?idnumber=202105050160F01… からご確認ください。
posted at 12:02:53
数学科の学生向けオムニバス講義の数学講究XBって(数学に興味のある人には全般に)すごい面白そうなのですが、資料だけでも公開しないのでしょうか。今年のラインナップは https://www.ms.u-tokyo.ac.jp/kyoumu/1310dc89493eaf3d5b98257df349f86573d7b818.pdf… です。
面倒なのでiカレンダー形式に変換しましたのでどうぞ: https://member.ipmu.jp/yuji.tachikawa/tmp/xb2021.ics…
posted at 12:02:52
一年前の四月の時点での解析は
https://twitter.com/yujitach/status/1335614022108938240… で紹介しました。
posted at 22:20:49
新型コロナウイルスは人造かどうか? に関する科学的な最新情報をまとめた記事です: https://thebulletin.org/2021/05/the-origin-of-covid-did-people-or-nature-open-pandoras-box-at-wuhan/…
結論はでないわけですが、ウイルスの感染力を人工的に高める研究は世界の各地でなされていて、特に武漢は中心地の一つだったのは事実であるようです。
posted at 22:20:48
少し前に大阪の祖母に「大阪は大変なことになってるけど心配か」とメールをしたら、私はそろそろ96だから覚悟は出来ている。そんなことよりお前とお前の家族のことを心配している、お前は昔から食が細いからキチンと食べて元気をつけなさい、と返事があって、愛とはこういうことかと思ったのだった。 https://twitter.com/Iam90yearsold/status/1388332824613187584…
posted at 23:15:58
緊急事態宣言による R の低下も三度目になって利き目が緩くなっているだろうが、これでせめて R<1 になってくれるだろうか。祈るようにデータを見ている。
posted at 23:04:48
日本がこれまで欧米と比べればコロナ禍の被害が少なかったのは、基本的な社会的な慣習による R の低下が従来型には十分効いていたからではなかろうか。おそらく種々の変異株の R にはこれでは十分ではなく、これによる爆発を関西ではみているのではなかろうか。
posted at 23:04:47