Interuniversal geometry とABC 予想59
(891ﾚｽ)
上下前次1-新
783(1): 01/17(土)14:13 ID:4L0ElCbn(6/10) AAS
>>782 じゃあどうやって数学的に実現すんの？
だいたいmotivだろうがmonstrous moonshineだろうがetc etc
実現するまでは夢物語だったんだから
現時点でトンデモであることが
研究価値がないことを意味しないのは明らかだ
784: 01/17(土)14:27 ID:9zDaTgPe(20/24) AAS
>>783
トンデモくん
検索してみたら
785: 01/17(土)14:55 ID:4L0ElCbn(7/10) AAS
はいはい、逃げたね
ついでに一元体についてもお願い
786(1): 01/17(土)15:12 ID:4L0ElCbn(8/10) AAS
おまえひょっとして（しなくとも？）応援スレ79で
嘘ばっか吐いて証拠を要求されたら
＞じゃあまっとけや
＞あさってくるわ
って言って帰ってこなかったヤツだろｗ
2chｽﾚ:math
787: 01/17(土)15:24 ID:9zDaTgPe(21/24) AAS
>>786
トンデモくん
人違いだけど
やっぱりIUT信奉者じゃん
788(4): 01/17(土)15:35 ID:4L0ElCbn(9/10) AAS
あそ、嘘吐きと同一視したことは悪かったな
しかし引用先で嘘吐きを叩いてるのがiut信奉者に
見えるってんのならお前の妄想だろうな
あと経路積分や一元体が数学として成立してるって
主張に挙証責任があるのはお前だから
＞検索してみたら
は答えになってねーよ
789: 01/17(土)15:47 ID:9zDaTgPe(22/24) AAS
IUT応援スレはIUT信奉者のスレッド
>>62
レス>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
省25
790: 01/17(土)15:52 ID:9zDaTgPe(23/24) AAS
>>788
トンデモ対嘘つきということ？
まあ あちらでどうぞ
791: 01/17(土)17:16 ID:4L0ElCbn(10/10) AAS
結局、経路積分や一元体が数学として成立してるって証拠はないんだな
成立してないもんな
同様にiutが成立してなくても即無価値ということにはならないわな
少なくともdupuyのやってることには十分に意味があるよ
標準的なモデル理論に収まってるから
792: 01/17(土)17:37 ID:9zDaTgPe(24/24) AAS
>>777
>トンデモ夢物語からアイディアを得るなんてゴマンとある
経路積分とか、量子場の理論とか、
一元体とか
経路積分や場の量子論や試論の
一元体もトンデモ夢物語かw
793: 01/17(土)18:38 ID:o/sU07if(1) AAS
>>781
>一元体は？
ダメかもね
794: 01/17(土)22:30 ID:vuIoZZO6(1) AAS
非ユークリッド幾何が成立可能な幾何学
であることを見いだしたガウスは、この
世界は大きなスケールでは実際に非ユー
クリッド空間なのではないだろうかと
思ったのかどうなのか、地球上の大きな
三角形の内角の和を測量で計って誤差の
範囲で2直角であることと矛盾しないと
いうような測定結果を得ていたようだった
が（しかしそれは光の経路が直線である
ということを暗黙に前提としている）。
795: 01/17(土)22:58 ID:Vx9NHU6o(1) AAS
伝説
796: 01/18(日)03:22 ID:8XLu/h16(1/6) AAS
おっすオラオカルトマニア！
>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
外部ﾘﾝｸ:ideone.com
これと>>766の論文を組み合わせて考察してみてってAIに頼むとなかなかに面白いよ
2つとも読ませて考察させたあとに、
「これら理論は、違うサイズ、違う固有値の行列が実質的に同じ情報を持ち得るということを示しており、私はそれら行列が望月新一のIUTに則り充満多重同型であると考えますがいかがですか？」
って聞いてみるとさらに面白い
797: 01/18(日)05:14 ID:8XLu/h16(2/6) AAS
ランク1密度行列の復元定理の、IUT同型(これを作ったCHATGPT5は充満多重同型って使いたがらないんだよね)まで言及した別ver
外部ﾘﾝｸ:ideone.com
def IUTIso := ...
theorem IUTIso_implies_equal
これは 圏論的に言えば：
情報忘却関手がrank-one 圏では忠実かつ充満という主張らしい
・通常のIUT: 異なる数学的宇宙（舞台）の間で、特定の対称性（リンク）を通して情報を復元する。
・このコード: 異なる BQState（内部ベクトル u,vは不可視＝別宇宙）の間で、境界 BoundaryCol（リンク）を通して全体 DensityMatrix を復元する。
・BoundaryCol は「テータリンク」の抽象化である
コード内の以下の部分は、単なる「列の一致」以上の意味を持ちます。
省12
798: 01/18(日)05:25 ID:TW9sDGRp(1/6) AAS
論文にかいてある証明と Lean のコード全然ちがうやん？
なにこれ？
799: 01/18(日)05:41 ID:TW9sDGRp(2/6) AAS
論文では Pauli operator というのをつかって unitary encrypted cloning operation なるものを構成してその Unitary Operator の full full quantum capacity を計算すると 1 になるという事を示してるらしい。それが物理的に何意味してるのかはさっぱりわからんけど Lean code にはそんなもん全然でてこないし、逆に Lean code のほうには論文に全然でてこない境界一致がどうとか何にも関係ない話でてくるし
はったりなん？
800: 01/18(日)05:50 ID:8XLu/h16(3/6) AAS
え？>>766の論文をlean4化したなんて書いたっけ俺
あくまでも>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
なんだけど？
801: 01/18(日)05:54 ID:TW9sDGRp(3/6) AAS
これはあかん
意図的にミスリーディング狙ってるとしか思えない
802: 01/18(日)05:55 ID:TW9sDGRp(4/6) AAS
やっぱり信者こんなんしかおらん
上下前次1-新書関写板覧索設栞歴
あと 89 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.422s*