Movatterモバイル変換


[0]ホーム

URL:


はてラボはてな匿名ダイアリー
ようこそ ゲスト さんログインユーザー登録

「力学系」を含む日記RSS

はてなキーワード:力学系とは

2025-10-21

数学の分類はこんな感じか

フェミニズムの分類が多すぎると聞いて

anond:20251020210124

0. 基礎・横断

集合論

公理集合論(ZFC, ZF, GCH, 大きな基数)

記述集合論(Borel階層, Projective階層, 汎加法族)

強制法フォーシング),相対的一致・独立

理論理学

述語論理(完全性定理,コンパクト性)

モデル理論(型空間, o-極小, NIP, ステーブル理論

証明論(序数解析,カット除去,直観主義論理

再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)

圏論

関手自然変換, 極限/余極限

加群圏,アーベル圏,三角圏,派生

トポス論,モナド,アジュンクション

数学基礎論哲学

構成主義,直観主義,ユニバース問題,ホモトピー型理論(HoTT)

1.代数学

群論

組み合わせ群論(表示, 小石定理,自由群)

代数群/リー群表現, Cartan分解,ルート系)

幾何群論ハイパーリック群, Cayleyグラフ

環論

可換環論(イデアル,局所化,次元理論, 完備化)

可換環アルティン環, ヘルシュタイン環, 環上加群

体論・ガロア理論

体拡大, 分解体,代数独立, 有限体

表現

群・リー代数表現(最高ウェイト,カズダン–ルスティグ)

既約表現,調和解析との関連,指標

ホモロジー代数

射影/入射解像度, Ext・Tor,派生関手

K-理論

アルバースカルーア理論, トポロジカルK, 高次K

線形代数

ジョルダン標準形,特異値分解,クリフォード代数

計算代数

Gröbner基底,多項式時間アルゴリズム,計算群論

2. 数論

初等数論(合同, 既約性判定,二次剰余)

代数的数論(代数体, 整環,イデアル類群,局所体)

解析数論(ゼータ/ L-関数,素数定理,サークル法, 篩法)

p進数論(p進解析, Iwasawa理論, Hodge–Tate)

算術幾何楕円曲線, モジュラー形式,代数多様体の高さ)

超越論(リンマンヴァイエルシュトラス, ベーカー理論

計算数論(楕円曲線法,AKS素数判定, 格子法)

3. 解析

実解析

測度論・ルベーグ積分, 凸解析,幾何的測度論

複素解析

変数リーマン面, 留数, 近似定理

変数(Hartogs現象, 凸性, severalcomplex variables)

関数解析

バナッハ/ヒルベルト空間,スペクトル理論, C*代数, von Neumann代数

調和解析

フーリエ解析,Littlewood–Paley理論, 擬微分作用素

確率解析

マルチンゲール,伊藤積分, SDE,ギルサノフ, 反射原理

実関数論/特殊関数

ベッセル, 超幾何,直交多項式, Rieszポテンシャル

4.微分方程式力学系

常微分方程式(ODE)

安定性,分岐, 正準系,可積分系

偏微分方程式(PDE)

楕円型(正則性,変分法, 最小曲面)

放物型(熱方程式, 最大原理, Harnack)

双曲型(波動, 伝播, 散乱理論

非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)

幾何解析

リッチ流, 平均曲率流,ヤンミルズ,モノポールインスタント

力学系

エルゴード理論(Birkhoff, Pesin),カオス, シンボリック力学

ハミルトン力学,KAM理論,トーラス崩壊

5.幾何学・トポロジー

位相幾何

点集合位相,ホモトピーホモロジー, 基本群,スペクトル系列

幾何トポロジー

3次元多様体幾何化, 結び目理論,写像類群)

4次元トポロジー(Donaldson/Seiberg–Witten理論

微分幾何

リーマン幾何(曲率,比較幾何,有界幾何

シンプレクティック幾何(モーメント写像, Floer理論

複素/ケーラー幾何(Calabi–Yau, Hodge理論

代数幾何

スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間

有理幾何(MMP, Fano/一般型,代数曲線/曲面)

離散幾何・凸幾何

多面体, Helly/Carathéodory,幾何極値問題

6.組合せ論

極値組合せ論(Turán型, 正則性補題

ランダムグラフ/確率方法(Erdős–Rényi, nibble法)

加法組合せ論(Freiman, サムセット, Gowersノルム)

グラフ理論

彩色,マッチング,マイナー理論(Robertson–Seymour)

スペクトルグラフ理論,拡張グラフ

組合設計ブロック設計, フィッシャーの不等式)

列・順序・格子(部分順序集合, モビウス反転)

7.確率統計

確率論(純粋

測度確率, 極限定理, Lévy過程, Markov過程, 大偏差

統計

数理統計推定, 検定, 漸近理論,EM/MD/ベイズ

ベイズ統計MCMC, 変分推論, 事前分布理論

多変量解析(主成分, 因子,判別,正則化

ノンパラメトリックカーネル法, スプライン,ブーストラップ

実験計画/サーベイ,因果推論(IV,PS,DiD,SCM

時系列(ARIMA,状態空間, Kalman/粒子フィルタ

確率最適化/学習理論

PAC/VC理論,一般境界,統計学習

バンディット,オンライン学習,サンプル複雑度

8.最適化オペレーションリサーチ(OR)

凸最適化

二次計画, 円錐計画(SOCP,SDP),双対性,KKT

凸最適化

多峰性, 一階/二階法, 低ランク,幾何的解析

離散最適化

整数計画,ネットワークフロー, マトロイド, 近似アルゴリズム

確率的/ロバスト最適化

チャンス制約,分布ロバスト,サンプル平均近似

スケジューリング/在庫/待ち行列

Little法則, 重み付き遅延, M/M/1, Jackson網

ゲーム理論

ナッシュ均衡,進化ゲーム,メカニズムデザイン

9. 数値解析・計算数学科学計算

数値線形代数(反復法,直交化, プリコンディショニング)

常微分方程式の数値解法(Runge–Kutta,構造保存)

PDE数値(有限要素/差分/体積,マルチグリッド

誤差解析・条件数,区間演算,随伴

高性能計算HPC)(並列アルゴリズム,スパー行列

シンボリック計算(CAS,代数的簡約, 決定手続き

10.情報計算暗号(数理情報

情報理論

エントロピー,符号化(誤り訂正, LDPC,Polar), レート歪み

暗号理論

公開鍵RSA,楕円曲線, LWE/格子),証明可能安全性,MPC/ゼロ知識

計算複雑性

P vsNP,ランダム化・通信・回路複雑性,PCP

アルゴリズム理論

近似・オンライン確率的,幾何アルゴリズム

機械学習の数理

カーネル法, 低次元構造, 最適輸送, 生成モデル理論

11. 数理物理

古典/量子力学の厳密理論

C*代数量子論, 散乱, 量子確率

量子場の数理

くりこみ群,構成的QFT, 共形場理論CFT

統計力学の数理

相転移, くりこみ, Ising/Potts, 大偏差

可積分系

逆散乱法,ソリトン, 量子可積分モデル

理論幾何

鏡映対称性,Gromov–Witten, トポロジカル弦

12.生命科学医学社会科学への応用数学

数理生物学

集団動態,進化ゲーム, 反応拡散,系統樹推定

数理神経科学

スパイキングモデル,ネットワーク同期, 神経場方程式

疫学感染症数理

SIR系,推定制御, 非均質ネットワーク

計量経済金融工学

裁定,確率ボラ,リスク測度, 最適ヘッジ, 高頻度データ

社会ネットワーク科学

拡散, 影響最大化,コミュニティ検出

13.シグナル・画像データ科学

信号処理

時間周波数解析,スパー表現,圧縮センシング

画像処理/幾何処理

変動正則化, PDE法, 最適輸送, 形状解析

データ解析

多様体学習,次元削減, トポロジカルデータ解析(TDA

統計機械学習回帰/分類/生成,正則化, 汎化境界

14.教育歴史方法

数学教育学(カリキュラム設計, 誤概念研究,証明教育

数学史(分野別史,人物研究,原典講読)

計算支援定理証明

形式数学(Lean,Coq, Isabelle), SMT,自動定理証明

科学哲学数学実在論/構成主義,証明発見心理

Permalink |記事への反応(0) | 10:29

このエントリーをはてなブックマークに追加ツイートシェア

2025-06-16

仕事辞めて無職になったので千葉逸人著『解くための微分方程式力学系理論』読もうとしてるんだけど意味不明過ぎる…😥

前半の微分方程式の所は良いんだけど力学系になってからさっぱり…😢

諦めてストロガッツちゃんと読んだほうが良さそう…😢

ベクトル解析から幾何学入門』も高級な内容になった所ら辺からあん理解出来なかったので、あんま合ってなくて他の本探した方がいいかも…😥

それはそうと微積とか線型代数の基礎的理解が足りないのでそこは別にやらんとな…😢

位相・集合とか多様体なんてやりたくないよ〜😭

Permalink |記事への反応(0) | 19:40

このエントリーをはてなブックマークに追加ツイートシェア

2024-04-08

[経済メモ]賃金物価スパイラル悪循環を続けるか

賃金物価スパイラルとは、まず何らかの原因でインフレが生じ、物価高が生まれます。その後、実質賃金物価に見合わないので、賃上げ圧力が生じ、賃上げします。企業としては賃金コストなので、生産性が向上しないままコストだけ増加すると、それを補う形で財・サービスへの価格転嫁します。するとまた実質賃金が低下するので、その繰り返しが生じます

これはコストプッシュインフレの一つの形態です。賃金プッシュインフレと言います。通常、この種のインフレは「悪いインフレ」と言われ、国の豊かさが低下しているのに物価が高まっています。この状態スタグフレーションと呼びます

インフレが生じた原因については色々ありますが、ロシアウクライナ問題において原油価格が高騰していることだけが問題ではありません。コロナ禍で政府財政政策を行うことでマネーサプライが増えたことがインフレの大きな要因です。

近年の経済学は、理論よりも実証分析が盛んです。経済の状況などを保存したデータベースからエピソード」を検索します。例えばこの場合歴史的賃金価格スパイラルが生じた例を調べるわけです。そして、そのエピソード複数シナリオとして分岐することがわかるでしょう。スパイラル継続して実質賃金が低下していったエピソードスパイラル継続しなかったエピソードスパイラル継続されたが実質賃金回復したエピソードなどです。

これらのエピソードにおいて、どれが2024-04-07時点のケースとして再現するのか、全くわかりません。以下の記事では、実際にエピソード分析されていますが、結論として「過去エピソード再現すると考えるのは時期焦燥」と述べています

"Itisstill too early to say whether the immediate futurewill replicate these patterns."https://cepr.org/voxeu/columns/wage-price-spirals-historical-evidence

そもそもインフレによって社会はどのようなコストを支払うことになるのでしょうか。

まずインフレするということは、貯金などの資産価値が減っていくことを意味します。つまり国家の富の総量が低下します。デフレ下では貯金という選択肢比較安全資産管理方法でしたが、インフレになるとこれらの資産価値が下がり、同じ貯金の額で買える物の数が減っていきます

日本世界有数の債権国である」と言われましたが、それはデフレ円高だったからです。円安になり、賃金価格スパイラル継続すれば、債権者不利益を被るでしょう。確かに借金をする人は借金を返しやすくなるのがインフレの良いところで、設備投資などもしやすくなりますが、債権者にとっては不利な結果になります

そしてインフレ下では、労働組合賃上げ圧力が増し、先鋭化します。「実質賃金物価に追いつかない」といって、賃金を上げるように交渉することになるでしょう。

ここで一つ質問がありますが、名目賃金賃上げ企業物価転嫁引き起こし物価高を生んでいるのであれば、「賃上げインフレの原因であり、実質賃金低下の原因である」といえるでしょう。それなのに、なぜ「追いつけ追いつけ」と賃上げをするのでしょうか。

経済学的には、適切な賃上げ生産性の向上分に限定する必要があるでしょう。生産性向上分を賃上げに当てれば、企業価格転嫁する必要が無いからです。つまり現在賃金物価スパイラルによる「悪循環」は、生産性上昇分を超える賃上げをしてしまっているのです。

では、生産性とはなんでしょうか。計算式は色々ありますが、アウトプットインプットで割ったものとして定義されますアウトプット収益インプットコストです。コスト労働投資設備投資などがあります。つまりこれは利潤=収益コストという計算式を分数の形に置き換えたものです。

近年の技術進歩しているので、企業生産性を上げるためには、人よりも設備投資したほうが合理的であると考えるでしょう。そこで賃上げ対処するには、まず設備投資生産性向上を、というわけです。実際、設備投資が増えているという統計存在します。https://www.nikkei.com/article/DGXZQOUA123100S4A310C2000000/

賃上げしなければならない、そのためには生産性を上げる必要がある、そのためには設備投資をする必要がある、生産性が上がれば物価転嫁をする必要がなくなる、というわけです。

このような「力学系(時間とともに変化するシステム)」が存在するので、実質賃金が今後回復するのかどうかについて、なかなか現時点では判断が難しいというわけです。実質賃金平行線をたどる可能性も、低下していく可能性も、上がる可能性もあるのです。

いくつかの経済論文では、賃金物価スパイラルにおいて「初期に実質賃金が低下し、その後回復する」と述べていますが、再現性については疑問が残ります

"The realwage falls earlyon and recovers later."https://economics.mit.edu/sites/default/files/inline-files/WagePriceSpirals.pdf

Permalink |記事への反応(0) | 06:52

このエントリーをはてなブックマークに追加ツイートシェア

2024-02-23

不滅の経済・クソ焦ってる囚人達を済民

あるいは、既存研究調査能力の著しく低い223人のエセインテリブクマカ

「答」としての追記

人間市場の全情報を持ってて最適な行動を取ってれば予測はできるんじゃね?(昔は絵空事だったけど今はコンピューターかい人民を苦しめるためのうるさ過ぎる箱があるのでギリいける)

情弱エージェントたるお前らが最適な行動を取れるわけではないので、効率的な均衡を取れないって感じだね。この世はめっちゃくちゃ焦ってる囚人ゲーム囚人だらけでめちゃくちゃ。

経済市場におけるカオス現象とそのリスクの馴化.PDF

Cournotモデルに,価格及び費用非線形構造,情報の不完全性や遅れ,学習等を加味することにより, 複占・寡占エージェントの動学モデルを構築し,市場が複雑に振舞うことが示されている.([Puu1991], [Puu 2003], [Kopel 1991]).

(略)

効率的な均衡を外れ予測不能な変動を

続けるカオス状態分岐してしま

いやこんなクソ古い上に廃れた理論持ち出すのも変だけど、お前らは何一つ引用してこないのな←よく読んだらまあまあいた。もっと星つけて目立たせといて

本気で人生せ?野比

本文

貨幣人間が作り出した。経済人間が形作っている。では、なぜだれにも予測できない?

多分、お金経済も、人にやる気を出させる作用があるという点に理由があるんじゃないか

米軍には「チャレンジコイン」って制度があるらしくて、「褒章叙勲するまでには至らない程度の功績があった隊員への謝礼」なんだと。だから金銭的には価値が薄い。でももらったら絶対嬉しい。貨幣経済を一瞬でなくしたとしても、こういう「褒め」と、それを形にして交換する制度は出現するはず。

思うのが、経済人間に作られるのを待っていた概念なのでは?遺伝子があたか宿主を操っているかのように見えるのと同様、経済人間を操る高次元概念

お前らこんな寝ぼけた話でよく盛り上がれるのう暇なんかアホ働け

なんで俺の渾身のインモラル詩はバズらんでこんなカオス理論(古っ!古典じゃこんなもん)で散々語り尽くされた話、弄んでるんだ

なんか追記書いてる間にまともなコメントが増えた

関係する人間の数が多すぎるからだよ。

人間なんて自分身体すら思い通りにいかない生き物なのに、何故コントロール可能だと?

漫画ハイパーインフレーション」読もうぜ!

自分たちで植林した杉の木さえ制御できずに花粉症で苦しんでいる人間がいるんだよ。いわんや非線形創発現象制御なんて夢のまた夢。

あざすよんどきます

学術的な議論に触れたければ「社会主義経済計算論争」

幼い頃の自分はこれが言いたかったんだわあざすあざす。文系なのに頭いいんすね?バグ

疎外(独Entfremdung、英alienation)の一語で済む話。https://ja.m.wikipedia.org/wiki/%E7%96%8E%E5%A4%96

話題をむやみに広げたので色んな分野からツッコミが来とるわ中野バスターミナルくらい知識が交差しとる

知った被って馬鹿尊敬されつつまともなやつに馬鹿にされてる中田敦彦みたいなインフルエンサー中田敦彦とか)の気持ちが分かったわ

群体

群体が云々のトップコメ言いたいことは結構分かる(んだけど経済学で一般に言われてることではないよね?)。でも生物学の群体は全体として自分がやってることが分かって生活してるから制御できてんだよな。

群体をつくるヒドロ虫

群体とは,無性生殖自分と同じ遺伝子を持つ分身をつくること)によって,殖えた個体どうしが体の一部などでつながりあって生きている生活の形です.

あとこれ→群体性と個体性

複雑系経済学の資料

カオス理論自体説明を含んだまとめっぽいやつ

カオスと経済動学一理論と応用.PDF

複雑系経済学の現在(2004くらい)

↓すまん引用元忘れた

最大リアプノフ指数力学系のアトラクタが 示す軌道不安定性を定量化する指標である

Permalink |記事への反応(19) | 08:38

このエントリーをはてなブックマークに追加ツイートシェア

2023-12-07

[経済メモ]環境経済数学を学ぶステップ

数理モデリングの基礎を学んだあとで力学系に興味を持つと、自然な流れとして数理生物学という応用に興味を持つ。

典型的な応用が人間の漁獲や伐採を含めた生態系分析というものがあり、これは資源が持続可能性を持つための収穫量を見極める際に判断根拠となる。

しか歴史的に見て人口キャパティ分析する流れは、人類出生率・死亡率をコントロールするという発想に行き着き、倫理的な面で危険施策秘密裏に考案される事が多い。

Permalink |記事への反応(0) | 16:20

このエントリーをはてなブックマークに追加ツイートシェア

2023-10-04

[勉強日記]経済数学

昨日はFaddeevから少し離れてダニエルフライシュという人のシュレーディンガー方程式について書かれた本を読み終えました。

またTwitterの使い方に関してですが、本当に興味のあるトピックについてつぶやく人か、あるいは自分フォローしてくれる人以外はアンフォローしたほうがよいと思いました。

というのもあらゆる政治ツイートを見ていると、ドーパミン製造機のようになってしまうのです。

政治ツイートは、特に経済的ものは間違いが散見されます。するとついついツッコみたくなるのです。

例えば、インフレというトピックがあるとします。主な要因は、原油価格財政政策金融政策賃上げによるものです。

一部の人が、「金を刷れば刷るほど無尽蔵に豊かになる」などと言っている度に、貨幣価値の話とその方法で失敗した国の話、インフレターゲットの話をしなければならなくなります

本当に経済について間違いを指摘したいなら、ちゃんとした長文でまとめておいた方がよいと思いますが、そのような情報ならインターネット上にあるでしょう。

しか問題なのは政治経済情報は玉石混合なのです。正しいことをいう人はいますが、間違ったことをいう人もたくさんいます。そして価値判断問題もあります

とりわけ、マクロ経済と呼ばれる分野において混乱が生じているように思えます

ミクロ経済であれば、すでに数学手法確立されており、今後100年経っても教科書数学手法自体は変わらないでしょう。

しかマクロ経済に至っては、経済現象因果推論が雑に行われており、理論の前提に問題が生じているケースというのがあると思うのです。

経済にはポジティブな側面もあります超弦理論が新しい数学を生み出すように、経済現象ゲーム理論確率微分方程式力学系などの数学を生み出すのです。

私が経済インチキを見る時、そこから政治感情を抜き去り、抽象化を施して、数学というドメインに変換すれば冷静になれると思うわけです。

Permalink |記事への反応(0) | 04:50

このエントリーをはてなブックマークに追加ツイートシェア

2023-02-08

[qrng]シュレーディンガーの猫のいくつかの解釈

シュレーディンガーアインシュタインに宛てて、量子力学コペンハーゲン解釈の重大な欠陥を明らかにするために、架空実験装置を作った。この解釈では、量子系は外部の観測者と相互作用するまで、2つ以上の状態の重ね合わせに留まるとされる[1]。

この効果を、原子というミクロ世界特殊性として片付けることはできるかもしれないが、その世界が、テーブル椅子、猫といったマクロ日常世界に直接影響を及ぼすとしたらどうだろうか。シュレーディンガー思考実験は、それを明らかにすることで、量子力学コペンハーゲン解釈不条理を明らかにしようとした。 粒子が重ね合わされた状態にあることは、一つの事実だ。しかし猫はどうだろう。猫はどちらか一方にしかさないし、死んだり生きていたりもしない。

ガイガーカウンターの中に、ほんの少しの放射性物質が入っていて、1時間のうちに原子の1つが崩壊するかもしれないが、同じ確率で1つも崩壊しないかもしれない。このシステム全体を1時間放置しておくと、その間、原子崩壊していなければ、猫はまだ生きていると言うだろう。システム全体のΨ関数(波動関数)は、その中に生きている猫と死んだ猫(表現は悪いが)が等しく混ざり合っていることで、このことを表現している。

この思考実験意味合いについては、多くの現代的な解釈や読み方がある。あるものは、量子力学によって混乱した世界に秩序を取り戻そうとするものである。また、複数宇宙複数の猫が生まれると考えるものもあり、「重ね合わせられた猫」がむしろ平凡に見えてくるかもしれない。

 

1.シュレーディンガーのQBist猫について

通常の話では、波動関数は箱入りのネコ記述する。QBismでは、箱を開けたら何が起こるかについてのエージェントの信念を記述する。

例えば、Aさんがギャンブラーだとしよう。ネコの生死を賭けたいが、量子波動関数が最も正確な確率を与えてくれることを知っている。しかし、世の中には波動関数のラベルがない。自分で書き留めなければならない。自由に使えるのは、Aさん自身過去の行動とその結果だけである。なので結果として得られる波動関数は、独立した現実を反映したものではない。世界がAさんにどう反応したかという個人的歴史なのだ

今、Aさんは箱を開けた。死んだ猫、あるいは生きている猫を体験する。いずれにせよ、Aさんは自分の信念を更新し、将来の出会いに期待するようになる。他の人が不思議な「波動関数崩壊」と呼ぶものは、QBistにとっては、エージェント自分の 賭けに手を加えることなのだ。

重ね合わせを形成するのはエージェントの信念であり、その信念の構造から猫について何かわかる。なぜなら、波動関数は、エージェントが箱に対して取り得るすべての行動(相互排他的な行動も含む)に関する信念をコード化しており、Aさんの信念が互いに矛盾しない唯一の方法は、測定されていない猫に固有の状態が全く存在しない場合からである

QBistの話の教訓は,ジョン・ホイーラーの言葉を借りれば参加型宇宙であるということである

 

2. ボーミアンについて

量子力学コペンハーゲン解釈によれば、電子のような量子粒子は、人が見るまで、つまり適切な「測定」を行うまで、その位置を持たない。シュレーディンガーは、もしコペンハーゲン解釈が正しいとするならば、電子に当てはまることは、より大きな物体特に猫にも当てはまることを示した:猫を見るまでは、猫は死んでいないし生きていない、という状況を作り出すことができる。

ここで、いくつかの疑問が生じる。なぜ、「見る」ことがそんなに重要なのか?

量子力学には、ボーム力学というシンプルでわかりやすい版があり、そこでは、量子粒子は常に位置を持っている。 猫や猫の状態についても同様だ。

なぜ物理学者たちは、シュレーディンガーの猫のような奇妙でありえないものにこだわったのだろうか?それは、物理学者たちが、波動関数による系の量子的な記述が、その系の完全な記述に違いないと思い込んでいたかである。このようなことは、最初からあり得ないことだと思われていた。粒子系の完全な記述には、粒子の位置も含まれるに違いないと考えたのである。 もし、そのように主張するならば、ボーミアン・メカニクスにすぐに到達する。

 

3.知識可能性について

シュレーディンガーの猫の本当の意味は、実在論とは何の関係もないと思う人もいる。それは、知識可能性と関係があるのだ。問題は、量子世界が非現実であることではなく、量子系を知識対象として安定化できないことである

通常の知識論理では、私たち質問とは無関係に、知るべき対象がそこに存在することが前提になる。しかし、量子の場合、この前提が成り立たない。量子力学的なシステムに対して、測定という形で問いを投げかけると、得られる答えに干渉してしまう。

 

4. 反実仮想的な本質

シュレーディンガー実験には、3つの基本的意味がある。

これらの本質的な特徴は「反実仮想」であり、何があるかないか現実)ではなく、何が可能不可能かについてである。実際、量子論の全体は反実仮想の上に成り立っている。反実仮想性質は、量子論運動法則よりも一般的であり、より深い構造を明らかにするものからだ。

量子論後継者は、運動法則根本的に異なるかもしれないが、反実仮想性質を示すことで、重ね合わせやエンタングルメントさらには新しい現象可能になるだろう。

シュレーディンガーは、仮想的な猫の実験で何を言いたかったのだろうか?現在では、シュレーディンガーは、量子論は、猫が死んでも生きてもいない浮遊状態にある物理可能性を示唆していると主張したと一般に言われている。しかし、それは正反対であるシュレーディンガーは、そのようなことは明らかに不合理であり、そのような結果をもたらす量子論理解しようとする試みは拒否されるべきであると考えたのである

シュレーディンガーは、量子力学波動関数は、個々のシステムの完全な物理記述提供することはできないと主張したアインシュタイン-ポドロスキー-ローゼン論文に反発していたのであるEPRは、遠く離れた実験結果の相関関係や「spooky-a-distance(不気味な作用)」に着目して、その結論を導き出したのである

シュレーディンガーは、2つの前提条件と距離効果とは無関係に、同じような結論に到達している。彼は、もし1)波動関数が完全な物理記述提供し、2)それが「測定」が行われるまで常に彼自身シュレーディンガー)の方程式によって進化するなら、猫はそのような状態に陥る可能性があるが、それは明らかに不合理であることを示したのだ。したがって、ジョン・ベル言葉を借りれば、「シュレーディンガー方程式によって与えられる波動関数がすべてではないか、あるいは、それが正しくないかのどちらか」なのである

もし、その波動関数がすべてでないなら、いわゆる「隠れた変数」を仮定しなければならない(隠れていない方が良いのだが)。もし、それが正しくないのであれば、波動関数の「客観的崩壊」が存在することになる。以上が、Schrödingerが認識していた量子力学形式理解するための2つのアプローチである。いわゆる「多世界解釈は、1も2も否定せずにやり過ごそうとして、結局はシュレーディンガー馬鹿にしていた結論に直面することになる。

 

5.波動関数実在論について

シュレーディンガーの例は、量子システムの不確定性をミクロ領域に閉じ込めることができないことを示した。ミクロな系の不確定性とマクロな系の不確定性を猫のように絡ませることが考えられるので、量子力学ミクロな系と同様にマクロな系にも不確定性を含意している。

問題は、この不確定性を形而上学的(世界における)に解釈するか、それとも単に認識論的(我々が知っていることにおける)に解釈するかということであるシュレーディンガーは、「手ぶれやピンボケ写真と、雲や霧のスナップショットとは違う」と指摘し、量子不確定性の解釈はどちらも問題であるとした。量子もつれは、このように二律背反関係にある。

ベルが彼の定理実験的に検証する前、量子力学技術が発展し、もつ状態実在性を利用し、巨視的なもつシステムを作り出す技術が開発される前、形而上学的な雲のオプションテーブルから外されるのが妥当であった。しかし、もしもつれが実在するならば、それに対する形而上学的な解釈必要である

波動関数実在論とは、量子系を波動関数、つまり、死んだ猫に対応する領域と生きた猫に対応する領域で振幅を持つように進化しうる場と見なす解釈アプローチであるシュレーディンガーが知っていたように、このアプローチを真面目に実行すると、これらの場が広がる背景空間は、量子波動関数自由度を収容できる超高次元空間となる。

 

6. 超決定論について

不変集合論IST)は、エネルギーの離散的性質に関するプランク洞察を、今度は量子力学状態空間に再適用することによって導き出された量子物理学のモデルであるISTでは、量子力学連続ヒルベルト空間が、ある種の離散的な格子に置き換えられる。この格子には、実験者が量子系に対して測定を行ったかもしれないが、実際には行わなかったという反実仮想世界存在し、このような反実仮想世界は格子の構造矛盾している。このように、IST形式的には「超決定論」であり、実験者が行う測定は、測定する粒子から独立しているわけではない。

ISTでは、ISTの格子上にある状態は、世界アンサンブル対応し、各世界状態空間特別な部分集合上で進化する決定論的系である非線形力学理論に基づき、この部分集合は「不変集合」と呼ばれる。格子の隙間にある反実仮想世界は、不変集合上には存在しない。

アインシュタインは、量子波動関数は、不気味な距離作用や不確定性を持たない世界アンサンブル記述していると考えていたが、これは実現可能である特にシュレーディンガーの猫は、死んでいるか生きているかのどちらかであり、両方ではないのだ。

 

7.関係量子力学について

シュレーディンガーの猫の寓話に混乱をもたらしたのは、物理システムが非関係的な性質を持つという形而上学仮定である。 もし全ての性質関係であるならば、見かけ上のパラドックスは解消されるかもしれない。

猫に関しては、毒が出るか出ないか、猫自身が生きているか死んでいるかであるしかし、この現象は箱の外にある物理系には関係ない。

箱の外の物理系に対しては、猫が起きていても眠っていても、猫との相互作用がなければその性質は実現されず、箱と外部系との将来の相互作用には、原理的に、猫がその系に対して確実に起きていたり確実に眠っていたりした場合には不可能だった干渉作用が含まれ可能性があるからだ。

まり波動関数崩壊」は、猫が毒と相互作用することによって、ある性質が実現されることを表し、「ユニタリ進化」は、外部システムに対する性質の実現確率進化を表すのである。 これが、量子論関係論的解釈における「見かけのパラドックス」の解決策とされる。

 

8. 多世界

物理学者たちは古典物理学では観測された現象説明できないことに気づき量子論現象論的法則発見された。しかし、量子力学科学理論として受け入れられるようになったのは、シュレーディンガー方程式を考案してからである

シュレーディンガーは、自分方程式放射性崩壊の検出などの量子測定の解析に適用すると、生きている猫と死んでいる猫の両方が存在するような、複数の結果が並列に存在することになることに気づいた。実はこの状況は、よく言われるように2匹の猫が並列に存在するのではなく、生きている1匹の猫と、異なる時期に死んだ多数の猫が並列に存在することに相当する。

このことは、シュレーディンガーにとって重大な問題であり、量子測定中に量子状態崩壊することによって、量子系の進化記述する方程式としての普遍的有効性が失われることを、彼は不本意ながら受け入れた。崩壊は、そのランダム性と遠方での作用から、受け入れてはならないのだろうか。その代わりに、パラレルワールド存在が示されれる。これこそが、非局所的な作用回避し、自然界における決定論を守る一つの可能である

[1]https://en.wikipedia.org/wiki/Schr%C3%B6dinger%27s_cat

Permalink |記事への反応(0) | 10:00

このエントリーをはてなブックマークに追加ツイートシェア

2014-04-21

円城塔もっと楽しむためのノンフィクションはこれだ!

SFもっと楽しむための科学ノンフィクションはこれだ!http://d.hatena.ne.jp/huyukiitoichi/20140417/1397744529 を受けて10冊選んでみました。

「『現実とはなにか』という認識が変わっていく」ような本はありません。

言語

ヨーロッパにおける完全言語を求める歴史を扱った『完全言語の探求』と多くのプログラミング言語設計者へのインタビューをまとめた『言語設計者たちが考えること』は、あまり読者が重なっていない気がしますが、円城塔きっかけにして両方読んでみるのもいいのではないでしょうか。

つぎの著者につづく」(『オブ・ザ・ベースボール』収録)の冒頭で語られるエピソードが『完全言語の探求』から引いたものであることは単行本収録時に追加された注で明示されていますし、「道化師の蝶」に出てくる無活用ラテン語についても『探求』で触れられています

一方『言語設計者たちが考えること』については、読書メーターで「小説を書く人も読むと良い」(2010年12月10日)とコメントしていて、『本の雑誌』の連載でも取り上げています(2011年11月言葉を作る人たち」)。また『本の雑誌』の連載では『言語設計者たち』以外にも時々プログラミング言語言語処理についての本が取り上げられています

最近連載のはじまった「プロローグ」(『文學界掲載)も今のところ、より望ましい文字の扱いや処理についての話をしているので、いささか強引な解釈ですが『完全言語の探求』『言語設計者たちが考えること』と繋がっている小説です。

翻訳

ロシア語作家として出発しアメリカ亡命後に英語作家に転身したナボコフは、自分自身の書いた文章を別の言語翻訳する「自己翻訳」を相当数おこなっていますが、それを主題とした評論書です。

円城塔本人も語っていますが、「道化師の蝶」ではナボコフモチーフとして使われています。友幸友幸が「希代の多言語作家であることもナボコフへの参照のひとつでしょう(若島正は『乱視読者の新冒険』のなかでナボコフを「稀代の多言語作家」と形容しています)。その希代の多言語作家の「わたし」とそれを翻訳する「わたし」が重なるようで重ならない「道化師の蝶」の筋立てにも、同じ作品について作者と翻訳者の両方の役割を演じたナボコフの影が見出せます。また「道化師の蝶」の姉妹編といえる「松ノ枝の記」での、相互翻訳相互創作する2人の作家という設定も「自己翻訳」の変奏と見ることができるでしょう。こうした創作翻訳交錯する2編を再読する上でも、この評論書が良い補助線になるのでは。

読書メーターコメントは「素晴らしい」(2011年4月28日)。

数学全般

最初期に書かれた『Self-Reference ENGINE』や「オブ・ザ・ベースボール」「パリンプセストあるいは重ね書きされた八つの物語」(『虚構機関』収録)などに顕著ですが、円城塔小説には、掌編の積み重ね(積み重ならず?)によって全体の物語が作られるという構造がよく現れます。これは辞典を順番に読んでいく感覚ちょっと似ているかもしれません。『数学入門辞典』を読んでいると、たとえあまり数学に詳しくなくても、円城塔小説に対してしばしば言われる「よく分からないけど面白い」という感覚を味わえると思います。ただし、円城塔小説に出てくる数学用語がこの辞書に出てくるなどと期待してはいけません。

一家に一冊」だそうです。https://twitter.com/rikoushonotana/status/402707462370758656/photo/1

数学数学者

円城塔小説には数学者やそれに準ずる人が多く登場しますが、『史談』は数学者を語った本として真っ先に名前のあがる定番の名著です。著者は類体論確立したことあるいは解析概論の著者として知られる高木貞治。かの谷山豊はこの本を読んで数学者を志したそうです。

数学部分については河田敬義『ガウスの楕円関数高木貞治先生著"近世数学史談"より』という講義録があるくらいには難しいので適当飛ばしましょう。

考える人2009年夏号特集日本科学者100人100冊」で円城塔が選んでいたのが高木貞治とこの本でした。

数学モンスタームーンシャイン

ムーンシャイン現象は、『超弦領域』収録の「ムーンシャイン」の題材で、他に「ガーベジコレクション」(『後藤さんのこと』収録)にも単語だけですがモンスター群とコンウェイが出てきます(コンウェイは「烏有此譚」の注にも言及あり)。作品内に数学的ホラ話といった雰囲気がしばしばあらわれる円城塔にとって「怪物的戯言(モンスタラスムーンシャイン)」はいかにもな題材かもしれません。

ムーンシャインを扱った一般向けの本というとたぶん最初に『シンメトリーモンスター』が挙がるのですが翻訳が読みにくいし『シンメトリー地図帳』にはあまり説明がなかった気がするので、この『群論』を挙げます

数学の専門書ですが、第4章「有限単純群の分類/Monsterとmoonshine」は読み物風の書き方になっています。ただし詳しい説明なしでどんどん話が進んでいくところも多く、きちんと理解するのは無理です(無理でした)。

第4章を書いている原田耕一郎はモンスター群の誕生にも関わりが深い人で、多くの文章モンスタームーンシャインについて触れているので、雑誌などを探せば難度的にもっと易しい文章が見つかるかもしれません。

数学確率

円城塔小説には「オブ・ザ・ベースボール」のように確率についての言及もよく見られます。『数学セミナー』『数学のたのしみ』『科学』等で高橋陽一郎が書いた確率論についての諸入門解説記事、は探すのが面倒だと思われるので、もっと入手しやすいこの本を。

確率微分方程式で有名な伊藤清エッセイ集です。「確率」より「数学者」の項に置くのがふさわしい本ですが確率の本として挙げます

読書メーターコメントは「素晴らしい」(2010年10月24日)。

数学力学系

やはり専門が力学系ということもあり、力学系関連もしばしば登場します。

本のタイトルを見て「力学系力学は違う」と指摘されそうですが、副題は「カオスと安定性をめぐる人物史」。力学系歴史に関する本です。実のところどんな内容だったか覚えていないのですが、「いわゆるこの方程式に関するそれらの性質について」(単行本未収録)で引用文献に挙がっているか大丈夫でしょう。

数学ロジック

Nova 1』収録の「BeaverWeaver」をはじめ、ロジック(数学基礎論)関連も円城塔小説に頻出する素材です。

とりわけ計算可能性、ランダム性、busy beaver、コルモゴロフ複雑性……とあげてみると、まずはチャイティンの諸作が思い浮かびますが、あれはむやみに勧めていいタイプの本なのかちょっと疑問なので避けます読書メーターでは、最近出た『ダーウィン数学証明する』に対して「チャイティンチャイティンによるチャイティンのためのいつものチャイティン」(2014年3月20日)とコメントしています

これという本が思い浮かばなかったので、いくらかためらいながらもこの本を挙げました。『メタマジックゲーム』か、あるいはヒネリも何もなく『ゲーデルエッシャーバッハ』でよかったのかもしれません。ただ『ゲーデルエッシャーバッハ』だけを読んでもほぼまちがいなく不完全性定理理解できないということはもっと周知されるべきじゃないかと思います

円城塔はこの本について「すごかった。(但し、かなりハード。)」(2011年3月27日)とコメントし、『本の雑誌』でも取り上げています(2012年10月ゲーデルさんごめんなさい」)。

初心者向きの本ではありませんが、不完全性定理について一席ぶつ前に読んでおくといいでしょう。


天体力学パイオニアたち』が上下巻なので、以上で10冊になります

別にノンフィクションを読まなくてもフィクションを楽しむことはできますが、ノンフィクションを読むことによって得られるフィクションの楽しみというのもまた楽しいんじゃないでしょうか。

追記:小谷元子編『数学者が読んでいる本ってどんな本』に寄稿している13人のうちのひとりが円城塔なので、そちらも参照してみるとよいと思いますリストに挙げられている約50冊の本のうち半分くらいがノンフィクションです。上に挙げた本とかぶっていたのは『数学入門辞典』『天体力学パイオニアたち』『ゲーデル定理 利用と誤用の不完全ガイド』でした。また、はてブコメント言及のあったイエイツ『記憶術』もリストに入ってました。

Permalink |記事への反応(3) | 20:01

このエントリーをはてなブックマークに追加ツイートシェア

2014-01-27

http://anond.hatelabo.jp/20140127175006

いやそんなもん俺だって理解してないけど。

でも「進化のために繁殖する」とか「強い遺伝子が生き残る」みたいな子供妄想みたいな単純な話ではないということは容易に想像できる。

統計力学では協同現象という物理が広く存在するけど、これは局所的な相互作用だけで全体的に協調的な動きをすることがあるということ。

鳥や魚の群れが一斉に同じ方向に動いたりするのを見ると、「単純な進化論」的な思考だと何か全体の意思があると思ったりするんだろうけど、

もちろんそんなものはなくて、単に各個体自分の近くの個体の動きに機械的に合わせてるだけ。

非線形力学系ではリミットサイクルというもんが存在して、あたかも何か意味ありげ構造的な運動が現れたりするけど、これも別にそれ自体

深淵意味があるというより、運動方程式非線形性がたまたまそういう形を成しただけで、違う形のリミットサイクルが(見えないだけで)

無数に存在したりする。

極端に単純化した物理モデルでもそれだけ複雑な構造が起こるわけで、不確実性が比べ物にならないほど大きくて複雑な生物システムでは何が起こるか

なんてどう考えても単純に言い表せるものではないだろうし、「進化」とか「強さ」とか分かったような顔して語れるものでは絶対に無いだろう。

非線形っつーもんはそのくらい致命的に複雑。人類非線形についてはまだほとんど何も知らないと言っていい。

Permalink |記事への反応(0) | 18:30

このエントリーをはてなブックマークに追加ツイートシェア

2013-01-25

バタフライ効果」に噛みついてる人、非線形力学系について全然分かってなさそう

Permalink |記事への反応(0) | 16:52

このエントリーをはてなブックマークに追加ツイートシェア

2010-01-14

http://anond.hatelabo.jp/20100114214951

専門かどうかとか、そういうレベルじゃないからwwwww

線形代数わかってない物理学科出身者みたいなもんだっつーのwwww

「いや僕は力学系なんで線形代数はちょっと」とか言う奴がいたら爆笑するだろwwww

あとどこにあるか忘れたけど線形コントロールかなんかのペーパー書いてるぞあいつwww

Permalink |記事への反応(1) | 21:53

このエントリーをはてなブックマークに追加ツイートシェア

 
ログインユーザー登録
ようこそ ゲスト さん
Copyright (C) 2001-2025 hatena. All Rights Reserved.

[8]ページ先頭

©2009-2025 Movatter.jp