このあたりを基にRでシャトルコックの飛行軌跡と回転運動をシミュレーションする関数を作ってみる

f:id:ryamada:20220105134528p:plain
f:id:ryamada:20220105134741p:plain
f:id:ryamada:20220105135815p:plain
github.com

2021-12-18

Windows11にしたらワードのショートカットキーが変わっていて困った

WindowsノートPCを新調したら、ワードのショートカットキーの頻用文、コピー、ペースト、カット、全選択、やり直しができなくなって困った
いろいろ調べたら、ショートカットキーの管理は・・・
- ワードの文書を開いて
- ツールバーから、ファイルを選ぶ
- 左側に出るカラムの下の方に「その他」があるので、選ぶ
- さらに、「オプション」を選ぶ
- ワードのオプションというウィンドウが開くので
- リボンのユーザー設定を選ぶ。リボンというのは、ワードの上の方に出る、もろもろの機能のことらしい
- リボンとショートカットキーをカスタマイズします、という画面に変わる
- 基本的には、「リボン」にアイコンを作って、それで作業させよう、という精神らしい
- が、ショートカットキーで作業したい
- その画面の下の方に、ショートカットキー　ユーザー設定というボックスがあるので、それを選ぶ
- たくさんの「リボンのアイコン」にショートカットキーを割り当てられる仕様になっている
- リボンのアイコンは、２段階に整理されていて、画面の左の箱に、第１のまとめ、第２にその個別のタスクが表示される
- ちなみに、コピー、ペーストは、リボン的には、「ホーム」という枠に属するので、このウィンドウの左側の箱「分類」から[ホーム]タブを選ぶ
- そうすると右側の箱「コマンド」が変わる
- EditCopyというのが、いわゆるコピー。それを選ぶと、左下のボックスに「Ctrl + Ins」が現れた！Ctrl + C ではなく、Ctrl + Ins でコピーすることになったらしい
- それは嫌なので、右下のボックスにCtrl + Cを入れて、割り当てボタンを押す。これで、Ctrl + Ins , Ctrl + C でコピーができるようになる
- 合わせて、カット、ペースト、全選択、やり直しをCtrl + X,V,A,Zにしておいた～

2021-11-28

Windows PCの更新とchocolatey

http://Chocolateyで、まっさらWindowsに一気にソフトをインストール

2021-11-27

ぱらぱらめくる『全ての概念はKan拡張である』

圏論

全ての概念はKan拡張である

作者:alg-d
Independently published

Amazon

こちらのサイトの内容が本になったそうだ

alg-d.com

この本に進む前に、別のPDF資料(哲学者のための圏論入門森田真生（独立研究者))で、そもそも圏論とはどういう枠組み化を確認しておく
- 対象と関係とで考える仕組み
- 集合では対象が集合であって、集合には要素があって、その要素ごとに考えるのに対して
- 圏論では対象の中身には立ち入らずに、対象を塊として考えることに特徴がある
- 集合での考え方をinternalな視点、圏論での考え方をexternalな視点と言うことができる
- exeternalに考えて(要素を扱わずして)、(集合を伴う場合には)集合の写像で必要な単射・全射・全単射が定義できるということは、圏論のexternalな視点を理解する上の鍵になる
- また、集合を集合たらしめる「要素」が不要になるので、集合ではないものも対象にできるのが圏論
- 集合ではないものを対象にして圏を定め、圏と圏との関係を見ることで、集合とは限らない多彩な数学対象を扱うことができて、かつ、数学対象同士の対応を扱うことができる
- このようなアプローチの背景には、様々な数学対象を代数化して、同型判定しやすい数学対象で議論し不変量を取り出すという考え方があるだろう(参考：こちらも)
- 圏論は集合と立場を違える、という最初の説明とは逆説的になるが、集合自体も特別な性質を持った圏として定義できる
- 代数における二項演算では、演算が要素集合で閉じているので、代数構造も圏対象から同じ圏対象への射を持つという形で捉えることができる
- 圏と圏との関係自体を圏と捉えることも可能で、階層化できる
圏論とは何か
- 「群として同型ならば、集合として同型である」したがって、「２つの群をそれぞれ集合に対応付けて、集合同士が同型であるかを調べ、集合同士が同型でないことが示せたならば、元の群同士は同型ではない」と言えることになる
- このように考えるときに、群の圏と集合の圏と、群の圏から集合の圏への関手とを考えるのが圏論
- 同様に「位相空間同士が同型ならば、位相空間に紐づく基本群は同型である」を使って、「(取り扱いがより容易な)基本群同士の同型を調べ、それが同型でないことが示せたならば、元の位相空間同士は同型ではない」と言える
- この際、位相空間の圏と基本群の圏と、位相空間の圏から基本群の圏への関手を考える
- 構成する概念と記法
  - 用語としてはcategory in nLabに基づくのが良さそう
  - １つの圏 (a category)は、二つの集まり collections の組からなる。二つの集まりは「対象の集まり」と「射の集まり」である
  - このことをと書くことにする
    - ここでの集まりは、圏論では集合論に基づかない議論がなされる(らしい)ことから、集合のことを忘れて、「一緒くたにできるものの集まり」というくらいのニュアンスが良いかもしれない
    - 集まりは何かの集まりとみなせるものであって、それは空(から)かもしれないし、１つの要素しか持たないかもしれないし、複数の要素を持つかもしれない
    - $Ob_C=C_0$ の元が対象(an) objectであり、 $Mor_C=C_1$ の元が射(a) morphism もしくは (an) arrowである
  - 対象 object(s)と射 morphism(s)/arrow(s)との関係
    - グラフ理論での有向グラフの頂点と有向辺とに相当する
    - 射の始点(始object)をドメイン対象・ソース(source)対象と言い、終点(終object)をコドメイン対象・標的(target)対象と言う
    - 射 f のドメイン対象・ソース対象とコドメイン対象・標的対象とがそれぞれa,bであるとき、 $a=dom(f),b=codom(f)$ と書いたり、 $f : a \rightarrow b$ と書いたり $a \xrightarrow{f} b$ と書いたりする
    - ドメイン対象とコドメイン対象とを共有する射の集まりをhom-setsと呼ぶ。圏Cにおいて、a,bなる対象をそれぞれドメイン対象・コドメイン対象とする射の集まりを $Hom_C(a,b)$ と書く、 $Hom(a,b),C(a,b)$ と書いたりもするし、 $Mor(a,b),Mor_C(a,b),C_1(a,b)$ と書いたりもする
  - 射は合成できる。この合成は射に定められた二項演算である。合成される射と合成できる射とには満足すべきドメイン対象とコドメイン対象との関係ルールを定めるのがよく、そうなっている
  - 恒等射が存在するようにしておくことで圏論がうまく回る。したがって恒等射の存在をルールとする
- 圏の集まりと関手Functor F
  - 二つの圏を関手Fでつなぐ
  - 対象は $a \rightarrow F(a)$ 、射は $f \rightarrow F(f)$ となり、 $F(a) \xrightarrow{F(f)} F(b)$ となる
- 同型
  - 圏Cの２つの対象a,bとが同型という概念がある
  - 集合の圏の場合には、a,bはともに集合であり、aとbとが同型であるとは、aとbとの間に全単射写像が存在することである。この全単射写像に対応するのが、圏の同型射である
  - 群の場合には、群同型と群準同型とがある。群同型と群準同型の共通点は、２つの群の間の要素の対応と、群演算の対応との両方が取れていること。逆に群同型と群準同型の違いは、２つの群の間の要素の対応が全単射かそうでないかである。群の圏での同型射は、群同型ではなくて、群準同型に対応するという。ちなみに位相空間の同型射は同相写像のこと
  - 圏の同型射には、「逆射」が存在して、それはただ一つ存在する
- 圏の例、圏と関手の例
  - 対象＝集合、射＝集合から集合への写像、射の合成＝集合から集合への写像は合成して写像となる、恒等射＝恒等写像：集合の圏
  - 対象＝群、射＝群準同型、射の合成＝群準同型関係を合成しても相変わらず群準同型関係、恒等射＝ある群が自身と群準同型であることに相当：群の圏
  - 対象＝位相空間、射＝連続写像(位相を変えない変形)、射の合成＝連続写像を合成すると連続写像、恒等射＝動かさない写像：位相空間の圏
  - 群の圏と集合の圏とを関手でつなぐことができる。群は集合と二項演算の組であり、集合はその名の通り集合であって二項演算は存在しない。関手で２つの圏をつなぐことはできる。群の圏の群の集合と集合の圏の集合とに全単射を置くことはできるが、集合の圏では演算のことを取り扱うことはできない。このように、情報・構造の一部が失われる形式で結ぶ関手を忘却関手と呼ぶ
  - 対象=ある特定の点を指定した位相空間、射＝連続写像：基点付き位相空間の圏
  - 基点付き位相空間を考えるとき、その基点から出てその基点に戻るループの区別を考えることができる。これを、この位相空間のこの基点における基本群と言うから、基点付き位相空間の圏と、基点付き位相空間に付随する基本群の圏との対応が取れる。この対応を取るのが両圏を結ぶ関手になる
  - 集合も圏
  - 群も圏、群の演算表に相当するルールが射の集まり全体として存在する。単位元の存在はId射の存在に対応する。元の数だけ射がある
  - 順序集合も圏
  - 圏の集まりと関手の集まりとを、対象の集まりと射の集まりとみなすとそれも圏
- 圏は図で表すこともできる
- 共変関手と反変関手と反転圏
- 関手は、圏Cから圏Dへの矢印。Cの対象をDの対象に移す。Cの射をDの射に移す。Cの射とDの射とで、射のドメイン対象とコドメイン対象の関係が維持されれば共変関手。射のドメイン対象とコドメイン対象がひっくり返れば反変関手
  - 普通の関手は、 $a \xrightarrow{f} b$ を $F(a) \xrightarrow{F(f)} F(b)$ とするが、 $a \xrightarrow{f} b$ を $F(a) \xleftarrow{F(f)} F(b)$ のような関係も考えられる。対象を結ぶ射の向きが関手によって逆になっている。このような関手を反変関手という
  - ある圏Cでの $a \xrightarrow{f_C} b$ に対して、対応する「逆の圏＝反転圏」 $C_{op}$ を考えて $a \xleftarrow{f_{C_{op}}} b$ とすると、反変関手によって現れる $F(f)$ は $f_{C_{op}}$ を共変関手で移したものとなる
圏の構成例
- 直積圏
- 直和圏
- スライス圏：圏Cの対象xでスライスすることで、xをコドメイン対象とする射を対象とする圏を作る。その作られた圏における射は、xをコドメインとする射を持つ対象を結ぶ射とする(らしい）。言い換えると、対象xでスライスすることで、対象xの周りの射を対象と射とに振り分けるような構成方法になっている
- コスライス圏：スライス圏とは逆に、対象xをドメイン対象とする射を対象とする圏を作る
- 部分圏・十分部分圏
- 普遍性
  - 圏論では、関係性(関係性を図にした可換図式)に則って定義するので、次のような性質として普遍性は定義される
  - 「同じ条件を満たすもの(それが対象であったり、対象と射の組であったりする)があるのならば、射が一意に存在して可換となる」という条件によって定義されるような性質のこと全般
  - 例としては、直積、終対象、pullback、equalizerなどが挙げられている
全ての概念はKan拡張である
- 「〇〇って、××のことだよね」という比喩は圏論で言うところのKan拡張で表すことができます、ということらしい
- 「CのXって、DのYってことだけど、それって、EのZがやっぱりDのYってことだよね」と言うとき、C,D,Eが圏で、CとD、CとE、DとEに関手関係が生じていて、３つの圏の関係性の定義にあるKan拡張がこの関手関係で定義されている、ということらしい
- Kan拡張の定義には
- 「同じ条件を満たすものがあるならば、自然変換が一意に存在して、ある合成が成立する」という条件が現れる
- これは、圏において普遍性の定義に出てきた言い回しとほぼ同じ
- 言い換えると、Kan拡張は、圏の集まりを対象の集まりとみなしたときに関手の集まりが射の集まりとみなされるが、その関係性の中に認められる一意な自然変換のことだが、それは、圏の集まりを対象とした圏における、普遍性の定め方みたいなものだよね、という意味合いで、(広い意味で)普遍性の一種、ということだ、と言っている(のだろう)

2021-11-25

非可換幾何：ペンローズタイリングと非可換トーラス葉層との関係

非可換幾何ペンローズタイリング Fibonacci鎖 Fibonacci chain 非可換トーラス葉層 Foliation 黄金比

ryamada.hatenadiary.jp

こちらの記事などで、ペンローズタイリングが01列を使って表現され、ペンローズタイリングを納めた空間の非可換幾何の話を書いた
非可換幾何の題材として、もう一つよく見るのが、非可換トーラスである。非可換トーラスについてはこちらなどに書いた

ryamada.hatenadiary.jp

正方形の左右辺と上下辺の貼り合わせでトーラスを作るが、貼り合わせの際に少しずらすと非可換トーラスになるという話
以下のjupyter notebookでは、次のことを確認している
- ペンローズタイリングに対応する01列と深い関係があるFibonacci鎖が、ペンローズの２種類のタイルの並べ順に対応し、そのような無限01列の生成方法として、２次元正方格子を斜めにして、正方格子点を結ぶ折線であって、かつ、ほとんど水平な折れ線とはどういうものか、それと01列・Fibonacci鎖とが関係するという話
- 同じくFibonacci鎖を非可換トーラスモデルを使って作るという話(非可換トーラスは、１枚の正方形で作れるが、それを正方形タイルを敷き詰めたものとみることで、非可換トーラス上の直線が二次元平面上の直線になることを利用して、その２次元平面の直線が正方格子の水平線・鉛直線と交わるパターンをFibonacci鎖にする話)

github.com

2021-11-20

ぱらぱらめくる『量子力学の数学的基礎』

パラパラめくるシリーズ量子力学統計力学波動関数

量子力学の数学的基礎【新装版】 [ ヨハン・ルードヴィッヒ・ノイマン ]

価格: 6600 円
楽天で詳細を見る

難しい本らしい

blog.goo.ne.jp

多少なりとも何か自分の足しになればと思って書くことにする
1. 序論的考察
- 量子力学は行列力学と波動関数との２流儀でほぼ同時に始まった。それがヒルベルト空間によって統一される、という話
- ハミルトニアンは力学系を説明する方程式
  - 位置座標と運動量とを引数とする
  - 行列力学
    - 古典では、位置座標 q はスカラー値、運動量 p もスカラー値
    - それを行列力学では、位置座標を行列 Q で、運動量を行列 P で置き換える
    - スカラー値の積 pq, pq は可換だが、行列になると非可換になる
    - 非可換性を行列積の非可換性として取り扱うのが行列力学
  - 波動関数
    - 古典では、運動量 p は速度に関する量だから、微分量。微分量だけれどスカラー値
    - 波動関数では、q の微分作用素に置き換える。この微分作用が働きかけるのが波動関数でqの関数
    - スカラー値は可換だが、微分作用素は $\frac{\partial q}{\partial \mathcal{q}}$ と $q \frac{\partial }{\partial \mathcal{q}}$ とは違う
    - 非可換性を変数と作用素の順序の入れ替えとして取り扱うのが波動関数
- 行列力学も波動関数も解く方針としては固有値・固有ベクトル
  - 固有値問題だけれど、行列力学は有限次元、波動関数は無限次元。 $\sum$ で済むか、 $\int$ と積分するかの違いになる
  - この積分がうまく行かないのが一派なので、単に無限次元化すればよいというわけにいかない(らしい)
  - 非可換になっている無限次元の話は、単にそれに対応する行列を見つけるということでは解決しないことは、非可換幾何と正準交換関係の話とつながるのだと思う(Wyle form, 正準交換関係, 非可換トーラス - ryamadaのコンピュータ・数学メモ)
- 行列力学では有限次元の行列、波動関数では関数という無限次元の連続空間を行と列とする作用素を扱う。それはアナロジーとしては無限長ベクトルの扱いと言うことになるが、数学的には違いも大きい。違いが大きいものを統一的に扱うべく導入されるのがヒルベルト空間
2. 抽象ヒルベルト空間の一般論
- 有限行列では自明な解(0ベクトル)以外の固有ベクトルを求めることが課題。固有ベクトルはそのノルムが何でもよいので、単位ベクトルの探解とみなしてもよい
- 波動関数で問題になる無限次元の方でも固有値と固有関数が問題となるが、そもそも波動関数が0ではだめで、「確率密度の積分が１」だという制約が入っている。それは行列での固有値問題における単位固有ベクトル探しに相当する
- さらに、ハミルトニアンなどの無限次元行列の形をした作用素は、状態ベクトルでサンドイッチして物理量の期待値を返すので、エルミート、さらに、状態ベクトルの変換としてみるときは、ユニタリ
- したがって、抽象ヒルベルト空間を想定した無限次元行列(を含む、行列)の固有値問題は、エルミート行列やユニタリ行列に関する固有値問題に制約して明らかにすることが必要になる
- したがって、抽象ヒルベルト空間の議論にも、そのような方向での制約化行列とその固有値問題とが主流になる
3. 量子力学の統計
- 物理量と状態の性質とが対象となる
- 物理量の観測
  - 物理量の期待値が測定される
- 状態の性質の観測
  - 状態の性質は観測すると0か1かを取る。0は存在しないという性質であり、1は存在するという性質
  - $\lambda=0,1$ とは、 $\lambda(\lambda-1) = 0$ ということであり、 $\lambda - \lambda^2=0$ と言うこと
  - これが射影作用素が $E=E^2$ と言うことに対応する
  - つまり、射影作用素は状態の性質に対応する
  - 複数の状態の性質の観測では、複数の射影作用素が登場する
  - 複数の射影作用素は(も)線形作用素の特徴を持つ
  - 状態の性質が同時測定可能な状態２つは、対応する２つの射影作用素が可換なら同時測定可能で、そうでないなら同時測定できない(ということらしい)
4. 理論の演繹的構成
- 標本はばらつく。たくさんの標本を観測し、その期待値を求めると、その期待値もばらつく。ばらつきはするが、標本数が大きいとき、その期待値を真の平均との違いは小さくなる(大数の法則)。これが、巨視的物理観測では、量子的ばらつきが影を潜め、同じ(と思われる)状態を繰り返し観測すると、『巨視的な観測誤差』を除けば、ほぼ同じ値が観測される理由(らしい)

2021-11-20

冪等性、idempotency、量子力学、純粋状態

量子力学冪等 idempotency 射影作用素

こちらの記事

ryamada.hatenadiary.jp

で、フォン・ノイマン環と射影行列のことを書いた
射影行列では $E = EE = E^2 = E^*$ であって、それが大事な役割を果たす
でも、どうしてそんなことが気になるのかがわからなかった
$EE =E$ は冪等性 idempotency
冪等行列では、固有値が0か1になる
量子力学ではたくさんの状態(無限にたくさんの状態のことも…)につき、無限長の複素確率ベクトルを考えるが、ある純粋状態が無限長ベクトルの１か所にあるとすると、それは、「純粋状態」
そのことと関係するので、冪等行列のことが気になる
(たぶん)座標の取り方によらず純粋状態を気にするので、冪等性をいじっているうちに出てきたのがフォン・ノイマン代数の複素整数行列で、それらが閉じていないと物理現象として困るということなのだと、ひとまず理解しておく

physics.stackexchange.com

冪等性をもつ射影作用素は、状態の性質に対応する作用素で、その観測結果は0(存在しない)、または1(存在する)に対応する